haskell-ja > Archives > 2009/09/05

2009/09/05 05:48:27 UTC[1..100]>>=pen
#
文句つけてばっかですが
#
>「射が、自然変換の定義をみたしていなくてもよく」
#
自然変換は射の族なので一つの射について「自然変換の定義を満たす」は確かめようがないです。
#
>「二つの射を可換にする」
#
「図を可換にする」とかは言いますが「射を可換にする」とは言いませんよね。「二つの射が可換」だと fg == gf ですが。