充満関手と忠実関手

圏論において，忠実関手（ちゅうじつかんしゅ，）（resp. 充満関手（じゅうまんかんしゅ，））とは与えられた始域と終域をもつ射の各集合に制限したときに単射（resp. 全射）となる関手のことである．

定義
 と  を（局所的に小さい）圏とし， を  から  への関手とする．関手  は  の任意の対象の対 ,  に対して写像

を誘導する．
関手  が忠実 (faithful) であるとは， の各対象  と  に対して， が単射であることをいう．
関手  が充満 (full) であるとは， の各対象  と  に対して， が全射であることをいう．
関手  が充満忠実 (fully faithful) （＝充満かつ忠実）（あるいは忠実充満）であるとは， の各対象  と  に対して， が全単射であることをいう．

性質
忠実関手は対象あるいは射上単射である必要はない．つまり，2つの対象  と  が  の同じ対象に写ってもよく（これは充満忠実関手の値域が  に同型とは限らない理由である），（異なる始域・終域を持つ）2つの射  と  が  の同じ射に写ってもよい．同様に，充満関手は対象あるいは射上全射である必要はない． の対象であって  の対象  に対して  の形でないものがあるかもしれない．そのような対象の間の射は明らかに  の射からは来ることができない．

充満忠実関手は同型の違いを除いて対象上単射でなければならない．つまり， が充満忠実関手で  であるならば  である．

例
   は忠実である，なぜならば各群が一意的な集合に写り，群準同型は写像であるからである．この関手は充満でない，なぜならば群の間の群準同型でない写像があるからである． への忠実関手を持つ圏は（定義により）である；一般に，その忘却関手は充満でない．
 包含関手  は充満忠実である，なぜならば各アーベル群は一意的な群に写り，アーベル群の間の任意の群準同型は  において保たれるからである．

関連項目
充満部分圏
圏同値

脚注

参考文献

外部リンク 
 
 
 
 
 
 
 
 

関手
数学に関する記事