| http://dbpedia.org/ontology/abstract
|
В математике, подкатегория A категории B н … В математике, подкатегория A категории B называется отражающей, если функтор вложения A в B имеет левый сопряженный. Этот сопряженный функтор часто называют отражателем. Двойственное определение — A ко-отражающая , если функтор вложения имеет правый сопряженный.функтор вложения имеет правый сопряженный.
, 범주론에서 반사 부분 범주(反射部分範疇, 영어: reflective subcategory)는 어떤 범주의 부분 범주에 대하여, 범주의 일반적 원소를 "표준적으로" 부분 범주에 속하도록 "완성할" 수 있는 성질을 갖는 충만한 부분 범주이다.
, In mathematics, a full subcategory A of a … In mathematics, a full subcategory A of a category B is said to be reflective in B when the inclusion functor from A to B has a left adjoint. This adjoint is sometimes called a reflector, or localization. Dually, A is said to be coreflective in B when the inclusion functor has a right adjoint. Informally, a reflector acts as a kind of completion operation. It adds in any "missing" pieces of the structure in such a way that reflecting it again has no further effect.reflecting it again has no further effect.
, Eine reflektive Unterkategorie ist im math … Eine reflektive Unterkategorie ist im mathematischen Teilgebiet der Kategorientheorie eine Unterkategorie mit einer zusätzlichen Eigenschaft. Die Objekte der Unterkategorie entstehen aus den Objekten der Oberkategorie durch einen funktoriellen Prozess, den man sich als eine Art der Vervollständigung vorstellen kann.Art der Vervollständigung vorstellen kann.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Refl1.png?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://katmat.math.uni-bremen.de/acc/acc.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
3967424
|
| http://dbpedia.org/ontology/wikiPageLength
|
9378
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1094518767
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Compact_space +
, http://dbpedia.org/resource/Exterior_algebra +
, http://dbpedia.org/resource/Class_%28set_theory%29 +
, http://dbpedia.org/resource/Kolmogorov_quotient +
, http://dbpedia.org/resource/Sheaf_%28mathematics%29 +
, http://dbpedia.org/resource/Bimorphism +
, http://dbpedia.org/resource/Elsevier +
, http://dbpedia.org/resource/Category:Adjoint_functors +
, http://dbpedia.org/resource/Field_of_fractions +
, http://dbpedia.org/resource/Colimits +
, http://dbpedia.org/resource/Springer_Science%2BBusiness_Media +
, http://dbpedia.org/resource/Inclusion_functor +
, http://dbpedia.org/resource/Kolmogorov_space +
, http://dbpedia.org/resource/Inverse_semigroup +
, http://dbpedia.org/resource/Commutative_diagram +
, http://dbpedia.org/resource/Field_%28mathematics%29 +
, http://dbpedia.org/resource/Unit_%28ring_theory%29 +
, http://dbpedia.org/resource/Category_of_metric_spaces +
, http://dbpedia.org/resource/John_Wiley_&_Sons +
, http://dbpedia.org/resource/Full_subcategory +
, http://dbpedia.org/resource/Completely_regular_space +
, http://dbpedia.org/resource/Grothendieck_site +
, http://dbpedia.org/resource/Peter_J._Freyd +
, http://dbpedia.org/resource/Topos +
, http://dbpedia.org/resource/Abelianization +
, http://dbpedia.org/resource/Ideal_%28ring_theory%29 +
, http://dbpedia.org/resource/Epimorphism +
, http://dbpedia.org/resource/Elementary_abelian_group +
, http://dbpedia.org/resource/Adjoint_functors +
, http://dbpedia.org/resource/Category_of_abelian_groups +
, http://dbpedia.org/resource/Associative_algebra +
, http://dbpedia.org/resource/Quotient_ring +
, http://dbpedia.org/resource/Integral_domain +
, http://dbpedia.org/resource/Completion_%28metric_space%29 +
, http://dbpedia.org/resource/Object_%28category_theory%29 +
, http://dbpedia.org/resource/Hausdorff_space +
, http://dbpedia.org/resource/Category_of_topological_spaces +
, http://dbpedia.org/resource/P-group +
, http://dbpedia.org/resource/Banach_spaces +
, http://dbpedia.org/resource/Counit_%28category_theory%29 +
, http://dbpedia.org/resource/File:Refl1.png +
, http://dbpedia.org/resource/File:Reflsq1.png +
, http://dbpedia.org/resource/Torsion_group +
, http://dbpedia.org/resource/Morphism +
, http://dbpedia.org/resource/Focal_subgroup_theorem +
, http://dbpedia.org/resource/Anticommutativity +
, http://dbpedia.org/resource/Category_of_groups +
, http://dbpedia.org/resource/Ring_homomorphism +
, http://dbpedia.org/resource/Dual_%28category_theory%29 +
, http://dbpedia.org/resource/Stone%E2%80%93%C4%8Cech_compactification +
, http://dbpedia.org/resource/Presheaf_%28category_theory%29 +
, http://dbpedia.org/resource/Category_%28mathematics%29 +
, http://dbpedia.org/resource/Symmetric_algebra +
, http://dbpedia.org/resource/Functor +
, http://dbpedia.org/resource/Tychonoff_space +
, http://dbpedia.org/resource/Limit_%28category_theory%29 +
, http://dbpedia.org/resource/Torsion_subgroup +
, http://dbpedia.org/resource/Injective +
, http://dbpedia.org/resource/Right_adjoint +
, http://dbpedia.org/resource/Normed_space +
, http://dbpedia.org/resource/Bounded_operator +
, http://dbpedia.org/resource/Complete_metric_space +
, http://dbpedia.org/resource/Monad_%28category_theory%29 +
, http://dbpedia.org/resource/Exact_functor +
, http://dbpedia.org/resource/Tensor_algebra +
, http://dbpedia.org/resource/Monoid +
, http://dbpedia.org/resource/Kernel_%28category_theory%29 +
, http://dbpedia.org/resource/Metric_space +
, http://dbpedia.org/resource/Isomorphism +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Left_adjoint +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Expand_section +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:R +
, http://dbpedia.org/resource/Template:More_footnotes +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Short_description +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Adjoint_functors +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Reflective_subcategory?oldid=1094518767&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Refl1.png +
, http://commons.wikimedia.org/wiki/Special:FilePath/Reflsq1.png +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Reflective_subcategory +
|
| owl:sameAs |
http://de.dbpedia.org/resource/Reflektive_Unterkategorie +
, http://ko.dbpedia.org/resource/%EB%B0%98%EC%82%AC_%EB%B6%80%EB%B6%84_%EB%B2%94%EC%A3%BC +
, https://global.dbpedia.org/id/4oCyv +
, http://ru.dbpedia.org/resource/%D0%9E%D1%82%D1%80%D0%B0%D0%B6%D0%B0%D1%8E%D1%89%D0%B0%D1%8F_%D0%BF%D0%BE%D0%B4%D0%BA%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F +
, http://rdf.freebase.com/ns/m.0b93my +
, http://www.wikidata.org/entity/Q6101219 +
, http://dbpedia.org/resource/Reflective_subcategory +
|
| rdfs:comment |
В математике, подкатегория A категории B н … В математике, подкатегория A категории B называется отражающей, если функтор вложения A в B имеет левый сопряженный. Этот сопряженный функтор часто называют отражателем. Двойственное определение — A ко-отражающая , если функтор вложения имеет правый сопряженный.функтор вложения имеет правый сопряженный.
, Eine reflektive Unterkategorie ist im math … Eine reflektive Unterkategorie ist im mathematischen Teilgebiet der Kategorientheorie eine Unterkategorie mit einer zusätzlichen Eigenschaft. Die Objekte der Unterkategorie entstehen aus den Objekten der Oberkategorie durch einen funktoriellen Prozess, den man sich als eine Art der Vervollständigung vorstellen kann.Art der Vervollständigung vorstellen kann.
, 범주론에서 반사 부분 범주(反射部分範疇, 영어: reflective subcategory)는 어떤 범주의 부분 범주에 대하여, 범주의 일반적 원소를 "표준적으로" 부분 범주에 속하도록 "완성할" 수 있는 성질을 갖는 충만한 부분 범주이다.
, In mathematics, a full subcategory A of a … In mathematics, a full subcategory A of a category B is said to be reflective in B when the inclusion functor from A to B has a left adjoint. This adjoint is sometimes called a reflector, or localization. Dually, A is said to be coreflective in B when the inclusion functor has a right adjoint. Informally, a reflector acts as a kind of completion operation. It adds in any "missing" pieces of the structure in such a way that reflecting it again has no further effect.reflecting it again has no further effect.
|
| rdfs:label |
Reflektive Unterkategorie
, Отражающая подкатегория
, Reflective subcategory
, 반사 부분 범주
|
