状態遷移系に関する補足小ネタ その1：「状態遷移系達の二重圏の直接的定義」において、状態遷移系をバンドルのあいだのレンズ射として定式化しました。状態遷移系（＝レンズ射）を図式に描くとき、野球のホームベース形に描くと具合がいいです。$`%\newcomm…

ジャズ・マイヤース〈David Jaz Myers〉が、Categorical Systems Theory のなかで、「アリーナの二重圏」という概念を定義しているのですが、なんだかピンとこない。実例を考えてみました。具体的な状態遷移系をタイト射とする二重圏です。この具体的な状態…