ホーム
おまかせ表示
ログイン
設定
寄付
ウィキブックスについて
免責事項
検索
トーク
:
Haskell/圏論
言語
ウォッチリストに追加
編集
このページについて詳細を知るには
(id :: B -> B) . f = f . (id :: A -> A) = f はf ではなくてgが正しくないでしょうか?
@kametaro
話題追加
ページ「Haskell/圏論」に戻る。