MongoDB JS LaaSの理論モデル化

functor で DBのインスタンス を表現するアディア Spivak の 論文に刺激されて

圏論を調べ始めている

檜山さんのブログを眺めながら、檜山さんほど 圏論がわかっていない自分に 苛つきながら 竹内外史さんの本から 初めて、清水さんの本 MacLaneさんの本をベースに

Spivakの論文を MongoDB用に モデル化しようとしているのだが 山は 超えたが