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
- Skim a recent paper: Yetter-Drinfeld modules over Nichols systems: reflections, induced objects and maximal subobjectInfluential work since 2022
- Pick up a classic book: Registration marksThe most-reprinted book on the subject
- Read the landmark paper: Subobject Transformation SystemsCited 8 times
- Go sideways: SubobjectA closely related topic
- Go sideways: Lawvere–Tierney topologyA closely related topic
📖 Definitions
Noun An object that is part of another object.
Noun An object and a monomorphism from it to another object, which monomorphism is interpreted as an inclusion. Actually it is an equivalence class of monomorphisms to the same object, where the equivalence relation is the ability of a pair of monomorphisms to factor through each other.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Subobject Transformation Systems
Subobject classifier for algebraic structures
The subobject decomposition in enveloping tensor categories
The pointed subobject functor, 3× 3 lemmas, and subtractivity of spans
The subobject classifier of the category of functional bisimulations
Multiple-Model Tracking of Dynamic Formations Using Group Structure Maneuver Models With Subobject Splitting and Merging
A criterion for the existence of subobject classifiers
Subobject Classifiers and Classes of Subfunctors.
🆕 Influential since 2022
📚 Books worth reading
Registration marksAdam Lowe · 1992- 📕Journal of a strangerFred J. Brown · 1978
- 📕[Zheng ce gui hua guo ji yan tao hui] = International Conference on Public Policy PlanningInternational Conference on Public Policy Planning (1989 Taipei, Taiwan) · 1989
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 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…
- Glossary of category theory This is a glossary of properties and concepts in category theory in mathematics, including those in topos theory. (See also Outline of category theory…
- 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…