とりあえず、はじめよう。Cは有限積を持つ圏。Vが（集合とは限らない）変数の集まり。#:V→|C|が、割り当て。#(x)∈|C|を「xの変域」（もちろん、#を仮定して）と呼ぶ。Cの適当な拡張圏C'（C=C'でもよい）があって、Vの重複を持たない有限列Xに対して、#:USeq(…

うーん、多引数・多値が全然スッキリしない。上江州（忠弘）先生が若い頃に構成した計算法があるんだが、あれを整理してみようか。ご本人も忘れているかもしれないから（1981; 25年前）、大幅に変更しても文句もでまい。2006年版上江州計算(Uesu calculus 20…

higher (dimensional) category では、妙な言葉がワサワサ： globular set computad operad opetope multitope