Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Subobject_classifier> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Subobject_classifier abstract "In category theory, a subobject classifier is a special object Ω of a category; intuitively, the subobjects of an object X correspond to the morphisms from X to Ω. Intuitively, as the name suggests, what a subobject classifier does is to identify/classify subobjects of a given object according to which elements belong to the subobject in question. Because of this role, the subobject classifier is also referred to as the "truth value object". In fact the way in which the subobject classifier classifies subobjects of a given object, is by assigning the values true to elements belonging to the subobject in question, and false to elements not belonging to the subobject. This is why the subobject classifier is widely used in the categorical description of logic.".
- Subobject_classifier thumbnail SubobjectClassifier-01.png?width=300.
- Subobject_classifier wikiPageExternalLink docviewer?did=Gold010&id=3.
- Subobject_classifier wikiPageExternalLink topos-physics.org.
- Subobject_classifier wikiPageID "366909".
- Subobject_classifier wikiPageRevisionID "548904039".
- Subobject_classifier hasPhotoCollection Subobject_classifier.
- Subobject_classifier subject Category:Objects_(category_theory).
- Subobject_classifier subject Category:Topos_theory.
- Subobject_classifier comment "In category theory, a subobject classifier is a special object Ω of a category; intuitively, the subobjects of an object X correspond to the morphisms from X to Ω. Intuitively, as the name suggests, what a subobject classifier does is to identify/classify subobjects of a given object according to which elements belong to the subobject in question. Because of this role, the subobject classifier is also referred to as the "truth value object".".
- Subobject_classifier label "Clasificador de subobjetos".
- Subobject_classifier label "Subobject classifier".
- Subobject_classifier label "Классификатор подобъектов".
- Subobject_classifier sameAs Clasificador_de_subobjetos.
- Subobject_classifier sameAs m.0201_w.
- Subobject_classifier sameAs Q7631737.
- Subobject_classifier sameAs Q7631737.
- Subobject_classifier wasDerivedFrom Subobject_classifier?oldid=548904039.
- Subobject_classifier depiction SubobjectClassifier-01.png.
- Subobject_classifier isPrimaryTopicOf Subobject_classifier.
