uDiary

◆ Memo: a a monads

http://www.sampou.org/haskell/a-a-monads/html/index.html

読めそうな気がした。

◆ Memo: はじめての圏論

Haskell プログラムをあるていど読み書きできるようになってから読むと、面白いぞ！

http://d.hatena.ne.jp/m-hiyama/20060821/1156120185

第２歩のコメント欄より：

圏の一般論では、圏の条件（公理）で述べていること以外は何も仮定しません。圏の公理のどこをみても、「対象は集合だ」とか、「射は作用である」とか書いてないですよね。

ふむふむ。