Subcategory (original) (raw)
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
| Property | Value |
|---|---|
| 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 | 310959 (xsd:integer) |
| dbo:wikiPageLength | 5763 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1018394913 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Module_(mathematics) dbr:Rng_(algebra) dbr:Unit_(ring_theory) dbr:Vector_space dbc:Hierarchy dbr:Mathematics dbr:Full_and_faithful_functor dbr:Full_functor dbr:Morphism dbr:Equivalence_of_categories dbr:Short_exact_sequence dbr:Embedding dbr:Full_and_faithful_functors dbr:Functor dbr:Category_of_sets dbr:Localization_of_a_category dbr:Field_(mathematics) dbr:Finite_set dbr:Isomorphism dbr:Isomorphism-closed_subcategory dbr:Isomorphism_of_categories dbr:Ring_(mathematics) dbc:Category_theory dbr:Abelian_category dbr:Bijection dbr:Reflective_subcategory dbr:Category_(mathematics) dbr:Category_of_abelian_groups dbr:Category_of_groups dbr:Category_theory dbr:Yoneda_embedding dbr:Image_(mathematics) dbr:Exact_category dbr:Injective dbr:Ring_homomorphism dbr:Peter_Freyd dbr:Object_(category_theory) |
| dbp:wikiPageUsesTemplate | dbt:Anchor dbt:For dbt:Short_description dbt:Wiktionary dbt:Category_theory |
| dcterms:subject | dbc:Hierarchy dbc:Category_theory |
| gold:hypernym | dbr:S |
| 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 | freebase:Subcategory wikidata:Subcategory dbpedia-es:Subcategory dbpedia-ja:Subcategory dbpedia-nl:Subcategory dbpedia-pl:Subcategory dbpedia-pt:Subcategory dbpedia-ru:Subcategory dbpedia-uk:Subcategory dbpedia-zh:Subcategory https://global.dbpedia.org/id/4jXPu |
| prov:wasDerivedFrom | wikipedia-en:Subcategory?oldid=1018394913&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Subcategory |
| is dbo:wikiPageRedirects of | dbr:Full_subcategory dbr:Wide_subcategory dbr:Full_embedding dbr:Full_subcategories dbr:Inclusion_functor dbr:Strictly_full_subcategory dbr:Subcategories |
| is dbo:wikiPageWikiLink of | dbr:Epimorphism dbr:Metric_map dbr:Monoidal_category dbr:Tannaka–Krein_duality dbr:Allegory_(mathematics) dbr:Almost_ring dbr:Hyponymy_and_hypernymy dbr:Rng_(algebra) dbr:Derived_category dbr:Lie_groupoid dbr:Timeline_of_category_theory_and_related_mathematics dbr:Natural_transformation dbr:Closure_(topology) dbr:Full_subcategory dbr:Glossary_of_category_theory dbr:Compactly_generated_space dbr:Completely_metrizable_space dbr:Embedding dbr:Span_(category_theory) dbr:Structure_(mathematical_logic) dbr:University_spin-off dbr:Additive_category dbr:Tilting_theory dbr:Total_order dbr:Wide_subcategory dbr:Localizing_subcategory dbr:Pietra_serena dbr:Representation_theorem dbr:Cyclically_ordered_group dbr:Bridgeland_stability_condition dbr:Differentiable_stack dbr:Discrete_category dbr:Isomorphism-closed_subcategory dbr:Product_(category_theory) dbr:Abelian_category dbr:Associative_algebra dbr:B-admissible_representation dbr:Fibred_category dbr:Groupoid dbr:Category_of_modules dbr:Category_of_relations dbr:Category_of_rings dbr:Category_of_topological_vector_spaces dbr:Rathwa dbr:Singular_homology dbr:Skeleton_(category_theory) dbr:Unipotent dbr:Exponential_object dbr:Repeating_rifle dbr:Finitely_generated_abelian_group dbr:Yoneda_lemma dbr:Outline_of_category_theory dbr:Full_embedding dbr:Full_subcategories dbr:Inclusion_functor dbr:Strictly_full_subcategory dbr:Subcategories |
| is gold:hypernym of | dbr:Not_Otherwise_Specified dbr:Anonymous_social_media dbr:Travel_photography dbr:Bowed_string_instrument dbr:Maid_café dbr:Comic_ballet dbr:Commonly_misspelled_words_in_German dbr:Halal_tourism dbr:Halogenated_ether dbr:Social_Movement_Impact_Theory dbr:Jungle_tourism dbr:Social_photography dbr:Direct_borohydride_fuel_cell dbr:Direct_methanol_fuel_cell dbr:Formic_acid_fuel_cell dbr:Vertical_formation_skydiving dbr:Cotransporter dbr:Bioavailability dbr:Recognition_memory dbr:Reformed_methanol_fuel_cell dbr:Hydrodynamic_technique dbr:Christian_tourism dbr:Bad_girl_movies dbr:Justice_(economics) dbr:Plucked_string_instrument |
| is foaf:primaryTopic of | wikipedia-en:Subcategory |