functor で DBのインスタンス を表現するアディア Spivak の 論文に刺激されて 圏論を調べ始めている 檜山さんのブログを眺めながら、檜山さんほど 圏論がわかっていない自分に 苛つきながら 竹内外史さんの本から 初めて、清水さんの本 MacLaneさんの本をベ…