記法としては、通常の集合論／圏論の記法よりは、CatyScriptの構文に近い書き方をする。が、最初は一般的かつ抽象的な状況設定、すぐ後で具体的なスクリプトで書く。Cは、なんか具体的な対称モノイド圏だとする。Cは集合圏の部分圏と仮定してもいい（別にな…