2013年の初頭に、デイヴィッド・スピヴァックの関手データモデル(functorial data model)について紹介しました。 デイヴィッド・スピヴァックはデータベース界の革命児か -- 関手的データモデル 衝撃的なデータベース理論・関手的データモデル 入門 あれから3年3ヶ月が経過して、今、関手データモデルや圏論データベース(categorical database)の状況はどうなっているでしょうか。 一言でいえば、 派手に喧伝はされてないが、着実に発展している となるでしょう。その進展の様子を次の3つの側面から概観してみます。 ビジネス ソフトウェア 理論 内容: ビジネス: Categorical Informatics, Inc ソフトウェア: FQL IDE 理論: 等式論理と代数データベース ※ リンクと注釈がたくさんあるのは、この記事が、この話題に関する説明付きブックマ
![関手データモデル/圏論データベース: その後の発展と現状 (2016) - 檜山正幸のキマイラ飼育記 (はてなBlog)](https://cdn-ak-scissors.b.st-hatena.com/image/square/19472fdfa31bdb2d296bf9f6e67875e96bfa9674/height=288;version=1;width=512/http%3A%2F%2Fwww.chimaira.org%2Fimg3%2Fcatinf-1.png)