Live briefing
Everything about Subobject classifier
Mathematical object in category theory
In the mathematical field of category theory, a subobject classifier is a special object of a category such that, informally, the subobjects of any object correspond to the morphisms from to. This provides an analogue of the set of Booleans in categories other than the category of sets. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Subobject classifierA 5-minute orientation
- Read the landmark paper: Subobject classifier for algebraic structuresCited 5 times
- Go sideways: SubobjectA closely related topic
- Go sideways: Lawvere–Tierney topologyA closely related topic
📖 Definitions
Noun An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
📚 Books worth reading
Open Library didn't respond; try again in a moment.
🔗 Related topics
- Subobject In category theory, a branch of mathematics, a subobject of an object A {\displaystyle A} in a category is a monomorphism into A {\displaystyle A} , “up…
- Lawvere–Tierney topology In mathematics, a Lawvere–Tierney topology is an analog of a Grothendieck topology for an arbitrary elementary topos, used to construct a topos of sheaves…
- Coherent category In category theory in mathematics, a coherent category is a regular category in which the poset of subobjects S u b ( X ) {\displaystyle \mathrm {Sub}…
- Glossary of algebraic geometry This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory…
- Envelope (category theory) In category theory and related fields of mathematics, an envelope is a construction that generalizes the operations of "exterior completion", like completion…
- Representable functor In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors…
- Topos In mathematics, a Grothendieck topos (US: /ˈtɒpɒs/, UK: /ˈtoʊpoʊs, ˈtoʊpɒs/; plural topoi /ˈtɒpɔɪ/ or /ˈtoʊpɔɪ/, or toposes) is a category that behaves…
- Presheaf (category theory) In category theory, a branch of mathematics, a presheaf on a category C {\displaystyle C} is a functor F : C o p → S e t {\displaystyle F\colon C^{\mathrm…