Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Subobject_classifier> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples 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 Ω. 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 wikiPageID "366909".
- Subobject_classifier wikiPageLength "7238".
- Subobject_classifier wikiPageOutDegree "40".
- Subobject_classifier wikiPageRevisionID "674808232".
- Subobject_classifier wikiPageWikiLink Academic_Press.
- Subobject_classifier wikiPageWikiLink Alexander_Grothendieck.
- Subobject_classifier wikiPageWikiLink Cambridge_University_Press.
- Subobject_classifier wikiPageWikiLink Categories_for_the_Working_Mathematician.
- Subobject_classifier wikiPageWikiLink Category:Objects_(category_theory).
- Subobject_classifier wikiPageWikiLink Category:Topos_theory.
- Subobject_classifier wikiPageWikiLink Category_of_sets.
- Subobject_classifier wikiPageWikiLink Category_theory.
- Subobject_classifier wikiPageWikiLink Commutative_diagram.
- Subobject_classifier wikiPageWikiLink Elementary_topos.
- Subobject_classifier wikiPageWikiLink Exponential_object.
- Subobject_classifier wikiPageWikiLink Graduate_Texts_in_Mathematics.
- Subobject_classifier wikiPageWikiLink Indicator_function.
- Subobject_classifier wikiPageWikiLink Initial_and_terminal_objects.
- Subobject_classifier wikiPageWikiLink Isomorphic.
- Subobject_classifier wikiPageWikiLink Isomorphism.
- Subobject_classifier wikiPageWikiLink Jean-Louis_Verdier.
- Subobject_classifier wikiPageWikiLink Limit_(category_theory).
- Subobject_classifier wikiPageWikiLink Monomorphism.
- Subobject_classifier wikiPageWikiLink North-Holland.
- Subobject_classifier wikiPageWikiLink North_Holland.
- Subobject_classifier wikiPageWikiLink Open_set.
- Subobject_classifier wikiPageWikiLink Oxford_University_Press.
- Subobject_classifier wikiPageWikiLink Power_object.
- Subobject_classifier wikiPageWikiLink Pullback_(category_theory).
- Subobject_classifier wikiPageWikiLink Pullback_diagram.
- Subobject_classifier wikiPageWikiLink Sheaf_(mathematics).
- Subobject_classifier wikiPageWikiLink Sieve_(category_theory).
- Subobject_classifier wikiPageWikiLink Springer-Verlag.
- Subobject_classifier wikiPageWikiLink Springer_Science+Business_Media.
- Subobject_classifier wikiPageWikiLink Subobject.
- Subobject_classifier wikiPageWikiLink Subset.
- Subobject_classifier wikiPageWikiLink Terminal_object.
- Subobject_classifier wikiPageWikiLink Topological_space.
- Subobject_classifier wikiPageWikiLink Topos.
- Subobject_classifier wikiPageWikiLink File:SubobjectClassifier-01.png.
- Subobject_classifier wikiPageWikiLink File:SubobjectClassifier-02.png.
- Subobject_classifier wikiPageWikiLink File:SubobjectClassifier-03.png.
- Subobject_classifier wikiPageWikiLinkText "Subobject classifier".
- Subobject_classifier wikiPageWikiLinkText "subobject classifier".
- Subobject_classifier hasPhotoCollection Subobject_classifier.
- Subobject_classifier wikiPageUsesTemplate Template:Cite_book.
- Subobject_classifier subject Category:Objects_(category_theory).
- Subobject_classifier subject Category:Topos_theory.
- Subobject_classifier hypernym u03A9.
- 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 Ω. 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 "Subobject classifier".
- Subobject_classifier sameAs Clasificador_de_subobjetos.
- Subobject_classifier sameAs 부분_대상_분류자.
- Subobject_classifier sameAs m.0201_w.
- Subobject_classifier sameAs Классификатор_подобъектов.
- Subobject_classifier sameAs Q7631737.
- Subobject_classifier sameAs Q7631737.
- Subobject_classifier wasDerivedFrom Subobject_classifier?oldid=674808232.
- Subobject_classifier depiction SubobjectClassifier-01.png.
- Subobject_classifier isPrimaryTopicOf Subobject_classifier.