忘却関手のハッキリした定義はありませんが、忘却関手は忠実関手であると想定されることが多いでしょう。しかし、忘却関手と呼ぶにふさわしそうでも、忠実ではない例もあります。Catを小さな圏の圏（射は関手）、Setを集合の圏とします。小さな圏Cに対象集合…