６．関手 関手は圏論の中で最も重要な概念である。圏論では自然変換(natural transformation)が重要であるが、これの根幹をなすのが関手である。 ６．１ 関手の定義 圏論は数学的な構造を対象としての点と対象を結ぶ射としての矢印で表している。二つの圏が…