Globular探り 9：フロベニウス代数

モノイド圏のなかのフロベニウス代数の公理を全部書いてパレットに入れて、フロベニウス代数電卓みたいのは作れそうだ。だいたいはやってみた。

現状だと、Workspaceの保存とエクスポートはできるが、リジューム／インポートが動かない、と。これだと、なんと毎回手で入力し直す。これはシンドイわ。絵の再利用も画面キャプチャして保存するしかないし。使い勝手はまだまだ。