| rdfs:comment
| - Je teorio de kategorioj, epimorfio estas , kiu ne perdigas informon per dekstra komponado. La koncepto de epimorfioj ĝeneraligas la koncepton de surjekcioj en la kategorio de aroj. (eo)
- Epimorphismus (von griechisch ἐπί epi „auf“ und μορφή morphē „Gestalt, Form“) ist ein Begriff aus den mathematischen Teilgebieten der Algebra und der Kategorientheorie. In der universellen Algebra bezeichnet er einen Homomorphismus, der surjektiv ist. In der Kategorientheorie ist Epimorphismus der duale Begriff zu Monomorphismus und verallgemeinert den (mengentheoretischen) Begriff der surjektiven Abbildung. Äquivalent sind die beiden Begriffe zumindest in den folgenden Fällen:
* Vektorräume oder allgemeiner Moduln
* (abelsche) Gruppen (de)
- ( 이 문서는 일반적인 범주에서의 전사 사상에 관한 것입니다. 집합 사이의 전사 사상에 대해서는 전사 함수 문서를 참고하십시오.) 범주론에서 전사 사상(全射寫像, 영어: epimorphism)은 두 사상의 등식에서 오른쪽에서 합성되어 있을 때, 소거할 수 있는 사상이다. 단사 사상의 반대 개념이다. (ko)
- 圏論において、エピ射（epimorphism）あるいはエピック射 (epic morphism) とは、右簡約可能（right cancelable）な射のことを言う。X から Y へのエピ射は X ↠ Y と表記される。 これは集合間の写像の意味での全射の抽象化であり、射が写像であり集合論的全射であれば圏論的全射であるが、逆は必ずしも成り立たない。例えば可換環の圏における整数環から有理数体への包含写像 Z → Q が反例となる。しかしながら、集合の圏や群の圏、環上の加群の圏などでは、圏論の意味での全射は集合論の意味での全射と一致する。 (ja)
- Epimorfizm – w teorii kategorii, morfizm mający , tj. dla wszystkich morfizmów spełniony jest warunek: . Epimorfizmy są odpowiednikami funkcji „na”, lecz nie są one z nimi tożsame. do epimorfizmu jest monomorfizm. Wielu autorów książek o algebrze abstrakcyjnej i uniwersalnej definiuje epimorfizm jako homomorfizm „na” (surjektywny). Każdy epimorfizm w tym sensie algebraicznym jest epimorfizmem w sensie teorii kategorii, ale nie jest to prawdą we wszystkich kategoriach. (pl)
- Na teoria das categorias, epimorfismo generaliza o conceito de funções sobrejetivas ou de imagens "suficientemente grandes". Mais precisamente, um epimorfismo (ou epi) é um morfismo f : x → y numa categoria C com a propriedade de que h ∘ f = k ∘ f implica h = k sempre que z é objeto de C e h, k : y → z são morfismos paralelos. Brevemente, um epimorfismo é uma seta cancelável à direita da composição. O conceito dual a epimorfismo é monomorfismo. Nota de terminologia: Fora da teoria das categorias, "epimorfismo" pode referir-se a um homomorfismo sobrejetivo. (pt)
- I kategoriteorin är epimorfier eller epimorfismer generaliseringar av surjektiva funktioner. I många vanliga konkreta kategorier är morfismen epi eller epimorf, precis om den är surjektiv i vanlig mening. Exempelvis är en grupphomomorfi eller en homomorfi i kategorin av vänstermoduler över en viss ring epi eller epimorf, d. .v s. en epimorfi, precis om den är surjektiv. Detta samband gäller dock inte i alla kategorier. Surjektioner har en viss , och en epimorfi är helt enkelt en morfism som har just denna egenskap. (sv)
- Епіморфізм у категорії ― морфізм , для якого із будь-якої рівності випливає, що (тобто є скорочуваним справа). У категорії множин роль епіморфізмів відіграють сюр'єкції, у загальній алгебрі ― сюр'єктивні гомоморфізми. Двоїстим до поняття епіморфізм є поняття мономорфізму.Багато авторів в абстрактній та універсальній алгебрі визначають епіморфізм просто як сюр'єктивний гомоморфізм. (uk)
- Эпиморфи́зм в категории ― морфизм , такой что из всякого равенства следует (другими словами, на можно сокращать справа). Эпиморфизмы представляют собой категорный аналог понятия сюръективной функции, но это не одно и то же.Двойственным к понятию эпиморфизм является понятие мономорфизма; эпиморфизм, являющийся одновременно и мономорфизмом, называется биморфизмом. (ru)
- Στη Θεωρία κατηγοριών, ένας επιμορφισμός (ονομάζεται επίσης ένας επί μορφισμός ή, κοινώς, μία επί συνάρτηση) είναι ένας μορφισμός f : X → Y που είναι δεξιά-ακυρωτικός με την έννοια ότι, για όλους τους μορφισμούς g 1 , g 2 : Y → Z , . (el)
- In category theory, an epimorphism (also called an epic morphism or, colloquially, an epi) is a morphism f : X → Y that is right-cancellative in the sense that, for all objects Z and all morphisms g1, g2: Y → Z, (en)
- En mathématiques, le terme « épimorphisme » peut avoir deux sens. 1) En théorie des catégories, un épimorphisme (aussi appelé epi) est un morphisme f : X → Y qui est simplifiable à droite de la manière suivante: g1 o f = g2 o f implique g1 = g2 pour tout morphisme g1, g2 : Y → Z. Suivant ce diagramme, on peut voir les épimorphismes comme des analogues aux fonctions surjectives, bien que ce ne soit pas exactement la même chose. Le dual d'un épimorphisme est un monomorphisme (c'est-à-dire qu'un épimorphisme dans une catégorie C est un monomorphisme dans la catégorie duale Cop). (fr)
- Dalam teori kategori, epimorfisma (juga disebut morfisme epik atau, bahasa sehari-hari, epi) adalah f:X→Y sehingga adalah pembatalan-kanan dalam arti bahwa, untuk semua objek Z dan semua morfisme g1, g2: Y → Z, Epimorfisme adalah analog kategoris dari s (dan dalam kategori himpunan konsepnya sesuai persis dengan fungsi konjektur), tetapi mungkin tidak persis sama di semua konteks; misalnya, penyertaan adalah epimorfisme cincin. dari suatu epimorfisme adalah monomorfisme (yaitu epimorfisme dalam kategori C adalah monomorfisme dalam Cop). (in)
- In de categorietheorie is een epimorfisme (ook wel een episch morfisme of een epi genoemd) een morfisme dat rechts-annuleerbaar is, wat inhoudt dat voor alle morfismen geldt Epimorfismen zijn analoga van surjectieve functies, maar ze zijn niet exact hetzelfde. De duale van een epimorfisme is een monomorfisme, wat wil zeggen dat een epimorfisme in een categorie een monomorfisme is in de duale categorie (nl)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)