Subobject classifier: Difference between revisions

Revision as of 10:38, 18 March 2007

Revision as of 10:39, 18 March 2007

Line 35:

:'''Axiom'''</i>

Given a category '''C''', then there exists an Isomorphisms</i>

<math>y:Sub_C(X)\cong Hom_C(X,\Omega)\hspace{.1in}</math> <math>\forall X\in C</math>

</i>

In Set this axiom can be restated as follows: </i>