■

Basic Category Theory for Computer Scientists (Foundations of Computing)

を K 大の数理解析研究所図書館で借りてきてもらって、ゆっくり消化中。

一個目の exercise が「任意の集合は圏 (の対象) と見なせることを示せ」なんだけど、「id 以外一つも射を定義しなければ trivial に圏」とかダメ?