990コメント380KB

関数型プログラミング言語Haskell Part17

■ このスレッドは過去ログ倉庫に格納されています

0110デフォルトの名無しさん

2012/01/06(金) 12:54:31.23

随伴なんて単なる関手の圏における同型な対象にすぎない

■ このスレッドは過去ログ倉庫に格納されています