Subobject classifier (original) (raw)
En teoría de las categorías, un clasificador de subobjetos es un objeto especial Ω en una categoría; intuitivamente, los subobjetos de un objeto X corresponden a clases de equivalencia(por medio de iso) de los monomorfismos de X a Ω.
| Property | Value |
|---|---|
| dbo:abstract | En teoría de las categorías, un clasificador de subobjetos es un objeto especial Ω en una categoría; intuitivamente, los subobjetos de un objeto X corresponden a clases de equivalencia(por medio de iso) de los monomorfismos de X a Ω. (es) Unterobjekt-Klassifizierer werden im mathematischen Teilgebiet der Kategorientheorie untersucht. Es handelt sich um einen Monomorphismus, so dass jedes Unterobjekt auf diese Weise als Pullback dieses Monomorphismus längs eines eindeutig bestimmten Morphismus auftritt. Die Grundidee stammt aus der Kategorie der Mengen, in der eine Teilmenge mit der zugehörigen charakteristischen Funktion identifiziert werden kann. (de) In category theory, a subobject classifier is a special object Ω of a category such that, intuitively, the subobjects of any object X in the category correspond to the morphisms from X to Ω. In typical examples, that morphism assigns "true" to the elements of the subobject and "false" to the other elements of X. Therefore, a subobject classifier is also known as a "truth value object" and the concept is widely used in the categorical description of logic. Note however that subobject classifiers are often much more complicated than the simple binary logic truth values {true, false}. (en) 범주론에서 부분 대상 분류자(部分對象分類子, 영어: subobject classifier)는 주어진 대상의 각각의 부분 대상들을, 특정한 대상 로 가는 사상에 대응시킬 수 있도록 하는 구조이다. 집합론에서의 지시 함수의 개념을 일반화한 것으로, 부분 대상 분류자는 임의의 토포스에서 항상 존재한다. (ko) В теории категорий, классификатор подобъектов — специальный объект Ω категории; интуитивно, подобъекты X соответствуют морфизмам из X в Ω. Способ, которым он «классифицирует» объекты можно описать как присвоение некоторым элементам X значения «истина». (ru) |
| dbo:thumbnail | wiki-commons:Special:FilePath/SubobjectClassifier-01.png?width=300 |
| dbo:wikiPageExternalLink | http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer%3Fdid=Gold010&id=3 https://archive.org/details/topostheory0000john |
| dbo:wikiPageID | 366909 (xsd:integer) |
| dbo:wikiPageLength | 8520 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1021190962 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Categories_for_the_Working_Mathematician dbr:Pullback_(category_theory) dbr:Monomorphism dbr:Quasitopos dbr:Elementary_topos dbr:Limit_(category_theory) dbr:Commutative_diagram dbc:Objects_(category_theory) dbr:Functor_category dbr:Category_of_sets dbr:Oxford_University_Press dbr:Graduate_Texts_in_Mathematics dbr:Isomorphic dbr:Terminal_object dbr:Academic_Press dbr:Topos dbc:Topos_theory dbr:Indicator_function dbr:Open_set dbr:Category_theory dbr:Sheaf_(mathematics) dbr:Sieve_(category_theory) dbr:Singleton_(mathematics) dbr:Topological_space dbr:Subset dbr:Subobject dbr:Power_object dbr:Springer-Verlag dbr:North-Holland_Publishing_Company dbr:Pullback_diagram dbr:Presheaves dbr:File:SubobjectClassifier-01.png dbr:File:SubobjectClassifier-02.png dbr:File:SubobjectClassifier-03.png |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Reflist |
| dcterms:subject | dbc:Objects_(category_theory) dbc:Topos_theory |
| gold:hypernym | dbr:Ω |
| rdfs:comment | En teoría de las categorías, un clasificador de subobjetos es un objeto especial Ω en una categoría; intuitivamente, los subobjetos de un objeto X corresponden a clases de equivalencia(por medio de iso) de los monomorfismos de X a Ω. (es) Unterobjekt-Klassifizierer werden im mathematischen Teilgebiet der Kategorientheorie untersucht. Es handelt sich um einen Monomorphismus, so dass jedes Unterobjekt auf diese Weise als Pullback dieses Monomorphismus längs eines eindeutig bestimmten Morphismus auftritt. Die Grundidee stammt aus der Kategorie der Mengen, in der eine Teilmenge mit der zugehörigen charakteristischen Funktion identifiziert werden kann. (de) In category theory, a subobject classifier is a special object Ω of a category such that, intuitively, the subobjects of any object X in the category correspond to the morphisms from X to Ω. In typical examples, that morphism assigns "true" to the elements of the subobject and "false" to the other elements of X. Therefore, a subobject classifier is also known as a "truth value object" and the concept is widely used in the categorical description of logic. Note however that subobject classifiers are often much more complicated than the simple binary logic truth values {true, false}. (en) 범주론에서 부분 대상 분류자(部分對象分類子, 영어: subobject classifier)는 주어진 대상의 각각의 부분 대상들을, 특정한 대상 로 가는 사상에 대응시킬 수 있도록 하는 구조이다. 집합론에서의 지시 함수의 개념을 일반화한 것으로, 부분 대상 분류자는 임의의 토포스에서 항상 존재한다. (ko) В теории категорий, классификатор подобъектов — специальный объект Ω категории; интуитивно, подобъекты X соответствуют морфизмам из X в Ω. Способ, которым он «классифицирует» объекты можно описать как присвоение некоторым элементам X значения «истина». (ru) |
| rdfs:label | Unterobjekt-Klassifizierer (de) Clasificador de subobjetos (es) 부분 대상 분류자 (ko) Subobject classifier (en) Классификатор подобъектов (ru) |
| owl:sameAs | freebase:Subobject classifier wikidata:Subobject classifier dbpedia-de:Subobject classifier dbpedia-es:Subobject classifier dbpedia-ko:Subobject classifier dbpedia-ru:Subobject classifier https://global.dbpedia.org/id/4w3Jj |
| prov:wasDerivedFrom | wikipedia-en:Subobject_classifier?oldid=1021190962&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/SubobjectClassifier-01.png wiki-commons:Special:FilePath/SubobjectClassifier-02.png wiki-commons:Special:FilePath/SubobjectClassifier-03.png |
| foaf:isPrimaryTopicOf | wikipedia-en:Subobject_classifier |
| is dbo:wikiPageDisambiguates of | dbr:Classifier |
| is dbo:wikiPageRedirects of | dbr:Truth_value_object dbr:Sub-object_classifier |
| is dbo:wikiPageWikiLink of | dbr:Power_set dbr:Injective_sheaf dbr:Timeline_of_category_theory_and_related_mathematics dbr:Omega dbr:Quasitopos dbr:Fundamental_theorem_of_topos_theory dbr:Constructive_set_theory dbr:Category_of_sets dbr:Truth_value dbr:Classifier dbr:2 dbr:Fotini_Markopoulou-Kalamara dbr:Global_element dbr:Heyting_algebra dbr:Lawvere–Tierney_topology dbr:Topos dbr:FinSet dbr:F-algebra dbr:Representable_functor dbr:Outline_of_category_theory dbr:Subobject dbr:Truth_value_object dbr:Sub-object_classifier |
| is foaf:primaryTopic of | wikipedia-en:Subobject_classifier |
