いよいよ二つの圏を結びつけるもの・関手(functor)を定義します。 共変関手・反変関手 圏 に対して、 に対して を、また、 に対して を対応させるもので を満たすものを から への共変関手(covariant functor)と言います。また、二つ目の条件を に変えたもの…