圏論学習ソフト FQL++ 入門 - 檜山正幸のキマイラ飼育記 (はてなBlog)「関手データモデル／圏論データベース： その後の発展と現状 (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と、
