##「この時に射は二つの対象（つまり元の圏では射）を可換にするものなら、なんでもよく、関手などでも構わない」
#この場合、関手だと結合できないので可換にできません。
#「射:任意の二つの対象 f:F(A) ￥to G(A)と g:F(B) ￥to G(B)を可換にするものを射と定義する」
#は
#「射:二つの対象 f:F(A) ￥to G(A)と g:F(B) ￥to G(B) に対して下図を可換にする h:A \to B を f から g への射と定義する。（正確には (f,g,h) の組が射）」
かな。
#>１つの射ではなく、射のペアや、関手の場合もあるってこと？
#のところで話がかみ合ってなかったのですね。
#この圏の場合は、図を可換にするような D圏の射 f,g と C圏の射 h から構成される三つ組 (f,g,h) がこの圏の射。この射の domain が f、codomain が g。
#「なんでもよい」と書いたのは、ある別の圏では射が関手であることもあるし、またある別の圏では射が実数のこともあるし・・・という意味で「なんでもよい」と書きました。
#今回の圏では射は三つ組です。
haskell-ja > Archives > 2009/09/04