充満忠実

充満 かつ 忠実 な 関手

例

埋め込み関手

$$F:\mathrm{Ab}\to \mathrm{Grp}$$

は充満忠実($\mathrm{Ab}$は可換群と群同型射がなす圏)