忘却関手とは何であるか？ を、一般的に定義するのはけっこう難しいことです。 さまざまな忘却関手 ですが、構造を忘れる忘却関手なら定義できなくもないようです。P. V. Golubtsov, S. S. Moskaliuk "Method of Additional Structures on the Objects of a …