定義
C と D を圏とする。
F: C → D
を関手とする。

F(f)：F(X) → F(Y) が恒等射であるような同型射 f：X → Y は恒等射に限るとき
F を準忘却的関手(amnestic functor)または準忘却関手と呼ぶ。