Loading AI tools
ウィキペディアから
圏論において,忠実関手(ちゅうじつかんしゅ,英: faithful functor)(resp. 充満関手(じゅうまんかんしゅ,英: full functor))とは与えられた始域と終域をもつ射の各集合に制限したときに単射(resp. 全射)となる関手のことである.
C と D を(局所的に小さい)圏とし,F: C → D を C から D への関手とする.関手 F は C の任意の対象の対 X, Y に対して写像
を誘導する.
忠実関手は対象あるいは射上単射である必要はない.つまり,2つの対象 X と X′ が D の同じ対象に写ってもよく(これは充満忠実関手の値域が C に同型とは限らない理由である),(異なる始域・終域を持つ)2つの射 f: X → Y と f′: X′ → Y′ が D の同じ射に写ってもよい.同様に,充満関手は対象あるいは射上全射である必要はない.D の対象であって C の対象 X に対して FX の形でないものがあるかもしれない.そのような対象の間の射は明らかに C の射からは来ることができない.
充満忠実関手は同型の違いを除いて対象上単射でなければならない.つまり,F: C → D が充満忠実関手で であるならば である.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.