例
Set を小さい集合(過去スレ017の321)全体の圏とする。
Top を小さい位相空間全体の圏とする。

F：Top → Set を X ∈ Ob(Top) に X の台集合を対応させる関手とする。
F は忠実(過去スレ017の403)かつ準忘却(>>35)であるが充満(過去スレ017の403)でも
埋め込み(>>34)でもない。