21ページ 同じ対象に移る関手 順序関係間の関手 22ページ 忘却関手は圏論の言葉で定義できる？ 21ページ 同じ対象に移る関手 関手の定義では各対象が異なることは言っていないので、関手の例としてこのようなものも考えられるつまり、が関手によって同じ対象…