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