| dbo:abstract
|
- Die Isomorphie von Kategorien ist eine Beziehung, die im mathematischen Teilgebiet der Kategorientheorie zwischen zwei Kategorien bestehen kann. Zwei isomorphe Kategorien sind als im Wesentlichen dieselben anzusehen. Dieser Begriff erweist sich als sehr restriktiv und hat daher bei Weitem nicht die Bedeutung wie die Äquivalenz von Kategorien. (de)
- In category theory, two categories C and D are isomorphic if there exist functors F : C → D and G : D → C which are mutually inverse to each other, i.e. FG = 1D (the identity functor on D) and GF = 1C. This means that both the objects and the morphisms of C and D stand in a one-to-one correspondence to each other. Two isomorphic categories share all properties that are defined solely in terms of category theory; for all practical purposes, they are identical and differ only in the notation of their objects and morphisms. Isomorphism of categories is a very strong condition and rarely satisfied in practice. Much more important is the notion of equivalence of categories; roughly speaking, for an equivalence of categories we don't require that be equal to , but only naturally isomorphic to , and likewise that be naturally isomorphic to . (en)
- En théorie des catégories, deux catégories et sont isomorphes s'il existe deux foncteurs F : → et G : → tels que l'un est inverse de l'autre, c'est-à-dire tels que FG = 1D (le foncteur identité de ) et GF = 1C. Cette notion, assez restrictive, peut être élargie en la notion d'équivalence de catégories. (fr)
- En teoría de categorías, dos categorías y son isomorfas si existen dos funtores y que son mutuamente inversos: (el funtor identidad en ) y . Esto significa que tanto para los objetos como para los morfismos de y existe una correspondencia uno a uno. Dos categorías isomorfas comparten todas las propiedades definidas a partir de la teoría de categorías (prácticamente son idénticas, difiriendo sólo en la notación de sus objetos y de sus morfismos). El isomorfismo de categorías es una condición muy fuerte y raramente se satisface. Es más importante la noción de equivalencia de categorías (en términos generales, para que se de una equivalencia de categorías no se requiere que , sólo naturalmente isomorfos a él. Lo mismo ocurre con ). (es)
- Изоморфизм категорий — взаимно-однозначное отношение между категориями, сохраняющее структуру объектов и морфизмов: категории и изоморфны, если существуют функторы и , которые являются обратными друг другу, то есть, (функтор тождественности на ) и .Две изоморфные категории разделяют все свойства, которые определены только в терминах теории категорий; для всех практических целей они идентичны и различаются только обозначениями объектов и морфизмов. Изоморфизм категорий является очень сильным условием, которое редко удовлетворяется; в связи с этим чаще используется понятие эквивалентности категорий, для которого не требуется, чтобы был равен to , а лишь естественно изоморфен , и аналогично был естественно изоморфен . Функтор создаёт изоморфизм категорий тогда и только тогда, когда он биективен на объектах и на множестве морфизмов; благодаря этому критерию можно доказывать изоморфность категорий без построения обратного функтора . (ru)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5459 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- Die Isomorphie von Kategorien ist eine Beziehung, die im mathematischen Teilgebiet der Kategorientheorie zwischen zwei Kategorien bestehen kann. Zwei isomorphe Kategorien sind als im Wesentlichen dieselben anzusehen. Dieser Begriff erweist sich als sehr restriktiv und hat daher bei Weitem nicht die Bedeutung wie die Äquivalenz von Kategorien. (de)
- En théorie des catégories, deux catégories et sont isomorphes s'il existe deux foncteurs F : → et G : → tels que l'un est inverse de l'autre, c'est-à-dire tels que FG = 1D (le foncteur identité de ) et GF = 1C. Cette notion, assez restrictive, peut être élargie en la notion d'équivalence de catégories. (fr)
- In category theory, two categories C and D are isomorphic if there exist functors F : C → D and G : D → C which are mutually inverse to each other, i.e. FG = 1D (the identity functor on D) and GF = 1C. This means that both the objects and the morphisms of C and D stand in a one-to-one correspondence to each other. Two isomorphic categories share all properties that are defined solely in terms of category theory; for all practical purposes, they are identical and differ only in the notation of their objects and morphisms. (en)
- En teoría de categorías, dos categorías y son isomorfas si existen dos funtores y que son mutuamente inversos: (el funtor identidad en ) y . Esto significa que tanto para los objetos como para los morfismos de y existe una correspondencia uno a uno. Dos categorías isomorfas comparten todas las propiedades definidas a partir de la teoría de categorías (prácticamente son idénticas, difiriendo sólo en la notación de sus objetos y de sus morfismos). (es)
- Изоморфизм категорий — взаимно-однозначное отношение между категориями, сохраняющее структуру объектов и морфизмов: категории и изоморфны, если существуют функторы и , которые являются обратными друг другу, то есть, (функтор тождественности на ) и .Две изоморфные категории разделяют все свойства, которые определены только в терминах теории категорий; для всех практических целей они идентичны и различаются только обозначениями объектов и морфизмов. (ru)
|
| rdfs:label
|
- Isomorphie von Kategorien (de)
- Isomorfismo de categorías (es)
- Isomorphisme de catégories (fr)
- Isomorphism of categories (en)
- Изоморфизм категорий (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
