関数、写像、演算{子}?、作用{素}?、変換、{値}?割り当て、インデックス族、対応

X, Y∈Der(A)、f, g∈A のような記号を使う。X:A→A で、ライプニッツ法則を満たす。微分適用Dとリー括弧Lは、 D:Der(A)×A→A, D(X, f)∈A L:Der(A)×Der(A)→Der(A), L(X, Y)∈Der(A) 一般に、f:A×B→C が二項演算のとき、 f = f(-, -) 右カリー化 f∩(-) = f(-):A→[B…

[n] = {1, ..., n} が作る集合・写像の圏 アミダ図の圏と置換（代入ではない）の圏 1,0を持つ半環係数の行列圏 ラベル付き boxes-and-wires 図の圏 ルシアン・アーディ図〈Lucian Hardy〉 一般論 インデックス付き圏としてのブール行列圏 弱いトポスとしての…