Subobject classifier: Difference between revisions

Revision as of 10:36, 18 March 2007

Revision as of 10:38, 18 March 2007

Line 34:

The above example of subobject classifier in Sets is very usefull because it enables us to easliy prove the following axiom:

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

Given a category <math>\mathscr{'''C}</math>\mathscr{C}''', then there exists an Isomorphisms</i>

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

</i>