充満関手と忠実関手
圏論において,忠実関手(ちゅうじつかんしゅ,英: faithful functor)(resp. 充満関手(じゅうまんかんしゅ,英: full functor))とは与えられた始域と終域をもつ射の各集合に制限したときに単射(resp. 全射)となる関手のことである.
性質
忠実関手は対象あるいは射上単射である必要はない.つまり,2つの対象 X と X′ が D の同じ対象に写ってもよく(これは充満忠実関手の値域が C に同型とは限らない理由である),(異なる始域・終域を持つ)2つの射 f: X → Y と f′: X′ → Y′ が D の同じ射に写ってもよい.同様に,充満関手は対象あるいは射上全射である必要はない.D の対象であって C の対象 X に対して FX の形でないものがあるかもしれない.そのような対象の間の射は明らかに C の射からは来ることができない.
充満忠実関手は同型の違いを除いて対象上単射でなければならない.つまり,F: C → D が充満忠実関手で であるならば である.
例
脚注
- Mac Lane (1971), p. 15
- Jacobson (2009), p. 22
- Mac Lane (1971), p. 14
参考文献
- Mac Lane, Saunders (September 1998). Categories for the Working Mathematician (second ed.). Springer. ISBN 0-387-98403-8
- Jacobson, Nathan (2009). Basic algebra. 2 (2nd ed.). Dover. ISBN 978-0-486-47187-7
外部リンク
- Barile, Margherita.. "Faithful Functor". MathWorld (英語).
- faithful functor in nLab
- full functor in nLab
- faithful functor - PlanetMath.(英語)
- full functor - PlanetMath.(英語)
- Definition:Faithful Functor at ProofWiki
- Definition:Full Functor at ProofWiki
- Hazewinkel, Michiel, ed. (2001), "Faithful functor", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.