「関手データモデル/圏論データベース: その後の発展と現状 (2016)」 にて: FQL IDEがサポートする4つの言語のなかで、位置付けがハッキリしないカワイソウなFQL++ですが、「圏論の学習にはとても有用」という特徴があります。これだけを切り出して圏論学習ツールにして欲しいくらいです。FQL++に関しては、いずれ別な記事で語りたいと思っています。 FQL++について語ります。2013年の記事「圏と関手をできるだけ簡単に書き下す方法」の内容を、FQL++で書いてみます。 内容: FQL IDEのインストールと実行 圏を記述してみる FQL++の構文 無限圏の扱い 関手の記述 FQL++と圏論 FQL IDEのインストールと実行 FQL IDEは、http://categoricaldata.net/fql.html からダウンロードできます。Javaのjarファイルfql.jarと、