射影対象
Sign in to saveobject 𝑃 in an abelian category such that hom(𝑃,–) is an exact functor to the category of abelian groups
Wikidata facts
- Subclass of
- object of a category
Show 3 more facts
- studied by
- homological algebra
- maintained by WikiProject
- WikiProject Mathematics
- opposite of
- injective object
Sources (1)
via Wikidata · CC0
Article · 日本語
圏論において，射影的対象（しゃえいてきたいしょう，英: projective object）の概念は射影的加群の概念を一般化する． 圏 の対象 P が射影的とは，hom関手 が全射を保つことをいう．つまり，任意の射 は任意の全射 Y → X を通して分解する． をアーベル圏とする．この文脈では，対象 が射影的対象であるとは， が完全関手であることをいう．ただし はアーベル群の圏である． 射影的対象の双対概念は単射的対象の概念である：アーベル圏 の対象 Q が単射的であるとは， から への関手 が完全であることをいう．
Abstract from DBpedia / Wikipedia · CC BY-SA