「クリーニ代数と圏論」の続きっぽい話。昨日よりさらに思いつくまま。トレース付き圏とクリーネ代数復習： 零対象と双積を持っていて、ベキ等律 Δ;∇ = id が成立し、双積に関してトレースを持つ圏Cがあれば、各エンドセットC(A, A)にクリーネ代数の構造を入…