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