In mathematics, specifically in category theory, a functor is essentially surjective (or dense) if each object of is isomorphic to an object of the form for some object of . Any functor that is part of an equivalence of categories is essentially surjective. As a partial converse, any full and faithful functor that is essentially surjective is part of an equivalence of categories.
Attributes | Values |
---|
rdfs:label
| - Wesentlich surjektiver Funktor (de)
- Essentially surjective functor (en)
- Foncteur essentiellement surjectif (fr)
- 本質的全射 (ja)
|
rdfs:comment
| - Ein wesentlich surjektiver Funktor ist ein Begriff aus dem mathematischen Teilgebiet der Kategorientheorie. (de)
- In mathematics, specifically in category theory, a functor is essentially surjective (or dense) if each object of is isomorphic to an object of the form for some object of . Any functor that is part of an equivalence of categories is essentially surjective. As a partial converse, any full and faithful functor that is essentially surjective is part of an equivalence of categories. (en)
- En théorie des catégories, un foncteur est dit essentiellement surjectif si chaque objet de la catégorie d'arrivée est isomorphe à un objet image du foncteur. (fr)
- 圏論において,関手 F: C → D が本質的全射(ほんしつてきぜんしゃ,英: essentially surjective あるいは dense)であるとは,D の任意の対象 d に対して,C のある対象 c が存在して,d と Fc が同型であることをいう. (ja)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
id
| - essentially+surjective+functor (en)
|
title
| - Essentially surjective functor (en)
|
has abstract
| - Ein wesentlich surjektiver Funktor ist ein Begriff aus dem mathematischen Teilgebiet der Kategorientheorie. (de)
- In mathematics, specifically in category theory, a functor is essentially surjective (or dense) if each object of is isomorphic to an object of the form for some object of . Any functor that is part of an equivalence of categories is essentially surjective. As a partial converse, any full and faithful functor that is essentially surjective is part of an equivalence of categories. (en)
- En théorie des catégories, un foncteur est dit essentiellement surjectif si chaque objet de la catégorie d'arrivée est isomorphe à un objet image du foncteur. (fr)
- 圏論において,関手 F: C → D が本質的全射(ほんしつてきぜんしゃ,英: essentially surjective あるいは dense)であるとは,D の任意の対象 d に対して,C のある対象 c が存在して,d と Fc が同型であることをいう. (ja)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is foaf:primaryTopic
of | |