セリンガーが、トレースの公理に自然性（naturality）、強度（strength）と名付けている。なんで？ と思ったが納得。タイトニングを自然性と呼んでいるんだけど、Cはモノイド圏（積は+で書く）として、まずは次のような関手を考える。 C(A +X, ・+X) : C → S…

このエントリーの言葉使いは、セリンガーに従う（Categorical Structure of Asynchrony）。まず、双模倣と単なる模倣、それと2方向模倣は別な概念なんだけど、僕はよくわかってない。セリンガーは双模倣（bisimulation, bisimilar）を扱っているが、ここでは…