Revision as of 20:56, 7 February 2015 edit 98.23.147.186 (talk) →Introductory example: Hopefully my last set of grammar fixes ← Previous edit		Revision as of 20:58, 7 February 2015 edit undo 98.23.147.186 (talk) →Definition: Capitalization Next edit →
Line 33: with the following property: :~~for~~For each [[monomorphism]] ''j'': ''U'' → ''X'' there is a unique morphism ''χ<sub> j</sub>'': ''X'' → Ω such that the following [[commutative diagram]] [[Image:SubobjectClassifier-02.png\|center]] :is a [[pullback diagram]] — that is, ''U'' is the [[limit (category theory)\|limit]] of the diagram:

Subobject classifier: Difference between revisions