充満関手と忠実関手

圏論において，忠実関手（ちゅうじつかんしゅ，）（resp. 充満関手（じゅうまんかんしゅ，））とは与えられた始域と終域をもつ射の各集合に制限したときに単射（resp. 全射）となる関手のことである．
定義.
 と を（局所的に小さい）圏とし， を から への関手とする．関手 は の任意の対象の対 , に対して写像
を誘導する．
性質.
忠実関手は対象あるいは射上単射である必要はない．つまり，2つの対象 と が の同じ対象に写ってもよく（これは充満忠実関手の値域が に同型とは限らない理由である），（異なる始域・終域を持つ）2つの射 と が の同じ射に写ってもよい．同様に，充満関手は対象あるいは射上全射である必要はない． の対象であって の対象 に対して の形でないものがあるかもしれない．そのような対象の間の射は明らかに の射からは来ることができない．
充満忠実関手は同型の違いを除いて対象上単射でなければならない．つまり， が充満忠実関手で formula_2 であるならば formula_3 である．