| dbo:abstract
|
- En matemática, una subcategoría de una categoría C es un subconjunto de los morfismos que es cerrado por composición y contiene todos los morfismos identidad. Una subcategoría es por completo ("full") si para cada par ordenado de sus morfismos identidad, contiene cada morfismo de C entre los objetos correspondientes.
* Datos: Q541563 (es)
- In mathematics, specifically category theory, a subcategory of a category C is a category S whose objects are objects in C and whose morphisms are morphisms in C with the same identities and composition of morphisms. Intuitively, a subcategory of C is a category obtained from C by "removing" some of its objects and arrows. (en)
- In de categorietheorie, een abstract deelgebied van de wiskunde, is een deelcategorie van een categorie C een categorie S, waarvan de objecten objecten in C zijn en waarvan de morfismen morfismen in C zijn met dezelfde identiteiten en dezelfde samenstelling van morfismen. Intuïtief is een deelcategorie van C een categorie, die uit C wordt verkregen door een aantal van haar objecten en pijlen te "verwijderen" (nl)
- 数学において，圏 C の部分圏（ぶぶんけん，英: subcategory）とは，圏 S であって対象が C の対象で射が C の射で同じ恒等射と射の合成をもつものである．直観的には，C の部分圏は C から対象と射をいくつか「取り除いて」得られる圏である． (ja)
- Kategoria jest podkategorią kategorii jeśli spełnione są następujące warunki:
* Klasa obiektów kategorii jest zawarta w klasie obiektów kategorii
* Dla dowolnych dwóch obiektów
* Dla dowolnych dwóch morfizmów w kategorii ich złożenie należy do
* Każdy morfizm identycznościowy w jest morfizmem identycznościowym w Podkategoria kategorii jest podkategorią pełną, jeśli dla dowolnych . (pl)
- Na teoria das categorias, uma subcategoria de uma categoria C é uma categoria D:
* cuja coleção de objetos é subcoleção de objetos de C;
* tal que, para quaisquer objetos d, d' de D, Quando vale igualdade acima para cada dupla d, d', a subcategoria é dita plena. Há um functor de inclusão D → C, sempre fiel, e que é pleno se e só se a subcategoria é plena. Esta noção, apesar de mais fácil de entender, viola o princípio de equivalência, de modo que variantes da definição possam ter mais utilidade. (pt)
- 在數學中，一個範疇C的子範疇是一個範疇S，其物件為C內的物件，態射為C內的態射，且有相同的單位態射與態射複合。直觀上來看，C的子範疇是一個從C中「移去」部份物件和態射的範疇。 (zh)
- В теорії категорій, підкатегорією категорії називається категорія , об'єкти якої є також об'єктами і морфізми якої є також морфізмами в , з тими ж тотожними морфізмами і правилами композиції. Інтуїтивно, підкатегорія одержується з видаленням деяких об'єктів і морфізмів. (uk)
- В математике, подкатегория категории C — это категория S, объекты которой являются также объектами C и морфизмы которой являются также морфизмами в C, с теми же тождественными морфизмами и правилами композиции. Интуитивно, подкатегория S получается из C удалением некоторых объектов и морфизмов. (ru)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5763 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- En matemática, una subcategoría de una categoría C es un subconjunto de los morfismos que es cerrado por composición y contiene todos los morfismos identidad. Una subcategoría es por completo ("full") si para cada par ordenado de sus morfismos identidad, contiene cada morfismo de C entre los objetos correspondientes.
* Datos: Q541563 (es)
- In mathematics, specifically category theory, a subcategory of a category C is a category S whose objects are objects in C and whose morphisms are morphisms in C with the same identities and composition of morphisms. Intuitively, a subcategory of C is a category obtained from C by "removing" some of its objects and arrows. (en)
- In de categorietheorie, een abstract deelgebied van de wiskunde, is een deelcategorie van een categorie C een categorie S, waarvan de objecten objecten in C zijn en waarvan de morfismen morfismen in C zijn met dezelfde identiteiten en dezelfde samenstelling van morfismen. Intuïtief is een deelcategorie van C een categorie, die uit C wordt verkregen door een aantal van haar objecten en pijlen te "verwijderen" (nl)
- 数学において，圏 C の部分圏（ぶぶんけん，英: subcategory）とは，圏 S であって対象が C の対象で射が C の射で同じ恒等射と射の合成をもつものである．直観的には，C の部分圏は C から対象と射をいくつか「取り除いて」得られる圏である． (ja)
- Kategoria jest podkategorią kategorii jeśli spełnione są następujące warunki:
* Klasa obiektów kategorii jest zawarta w klasie obiektów kategorii
* Dla dowolnych dwóch obiektów
* Dla dowolnych dwóch morfizmów w kategorii ich złożenie należy do
* Każdy morfizm identycznościowy w jest morfizmem identycznościowym w Podkategoria kategorii jest podkategorią pełną, jeśli dla dowolnych . (pl)
- Na teoria das categorias, uma subcategoria de uma categoria C é uma categoria D:
* cuja coleção de objetos é subcoleção de objetos de C;
* tal que, para quaisquer objetos d, d' de D, Quando vale igualdade acima para cada dupla d, d', a subcategoria é dita plena. Há um functor de inclusão D → C, sempre fiel, e que é pleno se e só se a subcategoria é plena. Esta noção, apesar de mais fácil de entender, viola o princípio de equivalência, de modo que variantes da definição possam ter mais utilidade. (pt)
- 在數學中，一個範疇C的子範疇是一個範疇S，其物件為C內的物件，態射為C內的態射，且有相同的單位態射與態射複合。直觀上來看，C的子範疇是一個從C中「移去」部份物件和態射的範疇。 (zh)
- В теорії категорій, підкатегорією категорії називається категорія , об'єкти якої є також об'єктами і морфізми якої є також морфізмами в , з тими ж тотожними морфізмами і правилами композиції. Інтуїтивно, підкатегорія одержується з видаленням деяких об'єктів і морфізмів. (uk)
- В математике, подкатегория категории C — это категория S, объекты которой являются также объектами C и морфизмы которой являются также морфизмами в C, с теми же тождественными морфизмами и правилами композиции. Интуитивно, подкатегория S получается из C удалением некоторых объектов и морфизмов. (ru)
|
| rdfs:label
|
- Subcategoría (es)
- 部分圏 (ja)
- Deelcategorie (nl)
- Podkategoria (pl)
- Subcategory (en)
- Subcategoria (teoria das categorias) (pt)
- Подкатегория (ru)
- 子範疇 (zh)
- Підкатегорія (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is gold:hypernym
of | |
| is foaf:primaryTopic
of | |
