Subobject classifier: Difference between revisions

Revision as of 20:58, 7 February 2015

Revision as of 21:01, 7 February 2015

Line 35:

:For each [[monomorphism]] ''j'': ''U'' → ''X'' there is a unique morphism ''χ_j'': ''X'' → Ω such that the following [[commutative diagram]]

[[Image:SubobjectClassifier-02.png|center]]

:is a [[pullback diagram]] — that—that is, ''U'' is the [[limit (category theory)|limit]] of the diagram:

[[Image:SubobjectClassifier-03.png|center]]