充満関手と忠実関手
忘却関手(英語版) U: Grp → Set は忠実である,なぜならば各群が一意的な集合に写り,群準同型は写像であるからである.この関手は充満でない,なぜならば群の間の群準同型でない写像があるからである.Set への忠実関手を持つ圏は(定義により)具体圏(英語版)である;一般に,その忘却関手は充満でない.
包含関手 Ab → Grp は充満忠実である,なぜならば各アーベル群は一意的な群に写り,アーベル群の間の任意の群準同型は Grp において保たれるからである.