前回圏の定義を与えました。圏論のモチベーションには圏の比較があったので、今日は圏の間の射である関手を定義します。 1.2 関手 関手の定義は非常に簡潔です： 定義：圏の間の関手(functor)とは 対象を対象に移し、 の射をの射に移す もので、次の関手性(f…