また、ふとコゥゼン（Kozen）圏について考えた。最近、定義はほぼ安定していて： トレース付き・ベキ等・双デカルト 圏 である。デカルト性は、対称モノイド構造×, 1と対角（余加法）Δ、放電（discharger；余単位）!で決まる。これは、すべての対象Aに可換余…

ラベル付き遷移系Tは、T⊆X×A×X だが、T⊆X×A×Y として、T:X→Yの射と考えて圏を作れる。この圏は、集合と関係の圏の拡張になる。（Aを単元に限定すると関係圏。）S∨T = S∪T、0は空集合として、ホムセットはジョイン半束＝ベキ等可換モノイドにできるので、orde…