コンテナ〈ファミリー〉の演算と特別な射： {{ディリクレ}?{テンソル}?}!積 $`\otimes`$ ： コンテナ＆レンズ演算〈(0 | 1)-オペレーター〉、遷移系の演算とも考えられる。 ジョイン $`\triangleleft, \triangleright`$ ： 遷移系の演算、遷移系だけ考えると…

coherence nLab 一貫性の用語 続・一貫性の用語法 Wikipedia にある程度従うことにして： {一貫性の}?基本射〈elementary morphisms〉： 注目する生成射。 一貫性〈coherence〉： "various compositions of elementary morphisms are equal." であること。圏…

「依存アクテゴリーが面白い」という記事を書きました。実際僕は「面白い」と思っています。プロセスやシステムの記述と計算に使えそうだ、というところが心惹かれる理由でしょうかね。依存アクテゴリーはけっこう複雑な構造なので、定義を書き下すだけでも…