実数体上のベクトル空間の圏 で話をする。が、以下の話は、具体例を書き変えれば、半環 上の{半}?ベクトル空間の圏でも通用する。この記事だけの記法だが、クライスリ射をラテン文字、線形写像をギリシャ文字で書く（「焼畑農業式コミュニケーション」参照）…