Subobject classifier: Difference between revisions

Revision as of 08:05, 6 August 2015

Revision as of 21:09, 22 December 2016

Line 40:

For a small category <math>C</math>, the '''subobject classifer''' in the '''topos of presheaves''' <math>\mathrm{Set}^{C^{op}}</math> is given as follows. For any <math>c \in C</math>, <math>\Omega(c)</math> is the set of [[Sieve (category theory)|sieves]] on <math>c</math>.

== ReferencesNotes ==

<references />

== References ==

*{{cite book

| last = Artin