Subobject classifier: Difference between revisions

Revision as of 05:27, 5 May 2006

Revision as of 18:55, 10 October 2006

Line 1:

In [[category theory]], a '''subobject classifier''' is a special object Ω of a category; intuitively, the subobjects[[subobject]]s of an object ''X'' correspond to the morphisms from ''X'' to Ω.

== Introductory example ==

Line 36:

[[category:Topos theory]]

[[Category:Objects (category theory)]]

[[es:Clasificador de subobjetos]]