| dbo:abstract |
In category theory, a coequalizer (or coequaliser) is a generalization of a quotient by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer. (en) Der Differenzkokern ist ein mathematischer Begriff aus dem Teilgebiet der Kategorientheorie. Es handelt sich um den zum Differenzkern dualen Begriff. Alternative Bezeichnungen sind Koegalisator oder, der englischen Bezeichnung nachempfunden, Koequalizer. Auch die Schreibweisen mit „c“, das heißt Differenzcokern, Coegalisator bzw. Coequalizer, sind gebräuchlich. (de) 圏論における余等化子（よとうかし、英: coequalizer , coequaliser）は同値関係による商の、任意の圏における対象に対する一般化である。余等化子は等化子の双対となる圏論的構成である。 (ja) Na teoria das categorias, coequalizador é o dual ao conceito de equalizador, e, a grosso modo, generaliza a uma categoria qualquer a noção de quociente por uma relação de equivalência. (pt) Коуравнитель — теоретико-категорное обобщение понятия фактора по отношению эквивалентности. Это понятие двойственно к понятию уравнителя, отсюда и название. (ru) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Coequalizer-01.png?width=300 |
| dbo:wikiPageExternalLink |
https://web.archive.org/web/20080916162345/http:/www.j-paine.org/cgi-bin/webcats/webcats.php https://web.archive.org/web/20081223001815/http:/www.j-paine.org/ |
| dbo:wikiPageID |
431940 (xsd:integer) |
| dbo:wikiPageLength |
5484 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1069918888 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Categories_for_the_Working_Mathematician dbr:Saunders_Mac_Lane dbr:Epimorphism dbr:Hom-set dbr:Normal_closure_(group_theory) dbr:Quotient_by_an_equivalence_relation dbr:Quotient_group dbr:Quotient_set dbr:Function_(mathematics) dbr:Monoid dbr:Morphism dbr:Coproduct dbr:Equaliser_(mathematics) dbr:Commutative_diagram dbr:Functor dbr:Category_of_sets dbr:Dual_(category_theory) dbr:Equivalence_relation dbr:Isomorphism dbr:Group_homomorphism dbr:Preadditive_category dbr:Zero_morphism dbr:Surjective dbr:Abelian_group dbc:Limits_(category_theory) dbr:Cokernel dbr:Topos dbr:Factor_group dbr:Natural_number dbr:Category_(mathematics) dbr:Category_of_groups dbr:Category_of_topological_spaces dbr:Category_theory dbr:Up_to dbr:Pushout_(category_theory) dbr:Universal_property dbr:Universal_construction dbr:Colimit dbr:File:Coequalizer-01.png dbr:Split_coequalizer |
| dbp:wikiPageUsesTemplate |
dbt:Reflist dbt:Short_description dbt:Use_American_English dbt:Use_mdy_dates dbt:Category_theory |
| dcterms:subject |
dbc:Limits_(category_theory) |
| gold:hypernym |
dbr:Generalization |
| rdfs:comment |
In category theory, a coequalizer (or coequaliser) is a generalization of a quotient by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer. (en) Der Differenzkokern ist ein mathematischer Begriff aus dem Teilgebiet der Kategorientheorie. Es handelt sich um den zum Differenzkern dualen Begriff. Alternative Bezeichnungen sind Koegalisator oder, der englischen Bezeichnung nachempfunden, Koequalizer. Auch die Schreibweisen mit „c“, das heißt Differenzcokern, Coegalisator bzw. Coequalizer, sind gebräuchlich. (de) 圏論における余等化子（よとうかし、英: coequalizer , coequaliser）は同値関係による商の、任意の圏における対象に対する一般化である。余等化子は等化子の双対となる圏論的構成である。 (ja) Na teoria das categorias, coequalizador é o dual ao conceito de equalizador, e, a grosso modo, generaliza a uma categoria qualquer a noção de quociente por uma relação de equivalência. (pt) Коуравнитель — теоретико-категорное обобщение понятия фактора по отношению эквивалентности. Это понятие двойственно к понятию уравнителя, отсюда и название. (ru) |
| rdfs:label |
Differenzkokern (de) Coequalizer (en) 余等化子 (ja) Coequalizador (teoria das categorias) (pt) Коуравнитель (ru) |
| owl:sameAs |
freebase:Coequalizer wikidata:Coequalizer dbpedia-de:Coequalizer dbpedia-ja:Coequalizer dbpedia-pt:Coequalizer dbpedia-ru:Coequalizer https://global.dbpedia.org/id/4iB3z |
| prov:wasDerivedFrom |
wikipedia-en:Coequalizer?oldid=1069918888&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Coequalizer-01.png |
| foaf:isPrimaryTopicOf |
wikipedia-en:Coequalizer |
| is dbo:wikiPageRedirects of |
dbr:Co-equalizer dbr:Coeq dbr:Coequaliser dbr:Absolute_coequalizer dbr:Co-equaliser |
| is dbo:wikiPageWikiLink of |
dbr:Beck's_monadicity_theorem dbr:Epimorphism dbr:Monad_(category_theory) dbr:Regular_category dbr:Internal_bialgebroid dbr:Prestack dbr:Quotient_by_an_equivalence_relation dbr:Co-equalizer dbr:Coeq dbr:Coequaliser dbr:Glossary_of_category_theory dbr:Constructive_set_theory dbr:Coproduct dbr:Equaliser_(mathematics) dbr:Limit_(category_theory) dbr:Clutching_construction dbr:Complete_category dbr:Mapping_cylinder dbr:Adjoint_functors dbr:Diagram_(category_theory) dbr:Tensor_product_of_modules dbr:Cokernel dbr:Topos dbr:Groupoid_object dbr:Natural_numbers_object dbr:Category_of_rings dbr:Category_of_topological_spaces dbr:Pushout_(category_theory) dbr:Outline_of_category_theory dbr:Absolute_coequalizer dbr:Co-equaliser |
| is foaf:primaryTopic of |
wikipedia-en:Coequalizer |
