Subobject classifier
Subobject classifier In category theory, a subobject classifier is a special object Ω of a ... the set Ω = {0,1} is a subobject classifier in the category of sets ...
http://en.wikipedia.org/wiki/Subobject_classifier - 3k - Cached - Similar pages

Talk:Subobject classifier
Talk:Subobject classifier What is the map 1 -> Ω used ... intuitively represents the "true" point in the subobject classifier [StefanLjungstrand 84.217.41.47 20:51 ... examples (at the very least, the 'classical' subobject classifier in Set, and maybe one ...
http://en.wikipedia.org/wiki/Talk:Subobject_classifier - 0k - Cached - Similar pages

Subobject
Subobject In category theory, there is a general definition of subobject extending the idea of subset and subgroup ... a preorder, but the definition of a subobject ensures that the collection of subobjects of ... discussion given is somewhat loose. If the subobject-collection of every object is a set ... well-powered.) The dual concept to a subobject is a quotient object; that is, ...
http://en.wikipedia.org/wiki/Subobject - 3k - Cached - Similar pages

Talk:Topos
... morphisms between an object S and the subobject classifier. I don't know of a definition that doesn't refer to the subobject classifier.--SurrealWarrior 20:44, 22 January 2006 (UTC ...
http://en.wikipedia.org/wiki/Talk:Topos - 2k - Cached - Similar pages

Topos
... index categories exist. The category has a subobject classifier. Any two objects have an exponential object ... In many applications, the role of the subobject classifier is pivotal, whereas power objects are not ...
http://en.wikipedia.org/wiki/Topos - 15k - Cached - Similar pages

List of mathematics articles (S)
... Submatrix -- Submersion -- Submodel -- Submodular function -- Subnormal subgroup -- Subobject -- Subobject classifier -- Subquadratic time -- Subquotient -- Subring -- Subsemigroup -- Subsequence -- Subsequential ...
http://en.wikipedia.org/wiki/List_of_mathematics_articles_(S) - 50k - Cached - Similar pages

Categorical logic
... Hegelian sense, not without some justification). A subobject classifier is a strong property to ask of ... attributes, which in a sense is a subobject theory more in sympathy with type theory ...
http://en.wikipedia.org/wiki/Categorical_logic - 9k - Cached - Similar pages

List of category theory topics
... Objects Initial object Terminal object Zero object Subobject Group object Magma object Natural number object ... theory) Grothendieck topology Introduction to topos theory Subobject classifier Pointless topology Heyting algebra See also: abstract ...
http://en.wikipedia.org/wiki/List_of_category_theory_topics - 4k - Cached - Similar pages

List of mathematics articles (S-U)
... Submatrix -- Submersion -- Submodel -- Submodular function -- Subnormal subgroup -- Subobject -- Subobject classifier -- Subquadratic time -- Subquotient -- Subring -- Subsemigroup -- Subsequence -- Subsequential ...
http://en.wikipedia.org/wiki/List_of_mathematics_articles_(S-U) - 83k - Cached - Similar pages

Category:Topos theory
... of topos theory G Grothendieck topology S Subobject classifier T Topos of Music
http://en.wikipedia.org/wiki/Category:Topos_theory - 0k - Cached - Similar pages