2014-08-12 MongoDB JS LaaSの理論モデル化 functor で DBのインスタンス を表現するアディア Spivak の 論文に刺激されて 圏論を調べ始めている 檜山さんのブログを眺めながら、檜山さんほど 圏論がわかっていない自分に 苛つきながら 竹内外史さんの本から 初めて、清水さんの本 MacLaneさんの本をベースに Spivakの論文を MongoDB用に モデル化しようとしているのだが 山は 超えたが