トーク:Haskell/圏論

(id :: B -> B) . f = f . (id :: A -> A) = f はf ではなくてgが正しくないでしょうか？

@kametaro

トークページとはWikibooksにあるコンテンツの最適化を皆さんで協議する場です。Haskell/圏論の改善について議論を始めるなら、このページを利用してください。