コンピュータッドは、言い換えれば多グラフだが、「形容詞「複」「多」と箙〈えびら〉 - 檜山正幸のキマイラ飼育記」に従えば、高次多箙（higher polyquiver）のことだ。1-quiver＝普通の有向グラフのときと同じに、生成形から自由生成できる。高次多箙の生…

キャンバス空間は図を描く（レンダーする）場所。図形の埋め込み先としてはアンビエント空間と言ったほうがいいかもしれないが、描画だからキャンバスにしておく。n次元キャンバス空間に絵図が描かれているとして、幾何次元nのセル（チャンバー）はグレード…

セレプセスを持つ圏や双圏がセレプティック（sylleptic）と形容される。セレプセス an invertible modification called the syllepsis を持つモノイド双圏については、https://arxiv.org/pdf/1301.1053v7.pdf のp.19を見よ。syllepsis（salmonsyllepsis）と…

rator - 檜山正幸のキマイラ飼育記 メモ編の続き。交換律 commutative law のratorは、associat-ive → associat-or に倣うなら commutat-ive → commutat-or だが、commutatorは使えない。苦し紛れでcommutorにする。transforのような造語もあるし。https://a…