プログラマのための圏論
圏論の話．読みたい
プログラマのための圏論 (執筆中)