haskell-ja > Archives > 2009/09/05

Back to the chat room

2009/09/05 05:48:27 UTC[1..100]>>=pen

文句つけてばっかですが

>「射が、自然変換の定義をみたしていなくてもよく」

自然変換は射の族なので一つの射について「自然変換の定義を満たす」は確かめようがないです。

>「二つの射を可換にする」

「図を可換にする」とかは言いますが「射を可換にする」とは言いませんよね。「二つの射が可換」だと fg == gf ですが。

Back to the chat room