コンピュータッドがモノイダルとは、各次元のセル（セルはコンピュータッドの要素）の集合に対してモノイド積を許すもの。0セルに対して厳密モノイド＝自由モノイドを作って、それを0-ダイアグラムとして使う。1-セルにも厳密モノイド積を入れて、1-コンピュ…

ダガー圏の表示として次のものを考える。 箙 箙のパス等式系 パス等式系は、辺の連接とダガー演算を使った形式的な項のあいだの形式的な等式の集まり。箙から生成した自由ダガー圏を、パス等式系で割り算してダガー圏ができる。ダガー圏の表示をダガー表示と…