Cが準マルコフ圏のとき、f:X→Y in C に対して、余可換コモノイドを使って、次の概念を定義できる。 fは破棄可能＝fは全域 ： fはコモノイド余単位＝準終射を保つ。 fは複製可能＝fは決定性 ： fはコモノイド余乗法を保つ。 破棄可能性＝全域性は、非消失性〈…

関係の圏がマルコフ圏にならない。マルコフ圏の条件から、半デカルト性を削除する。これを準マルコフ圏〈quasi-Markov category〉と呼ぶ。余可換コモノイド・モダリティを (A, ΔA, ◇A) として、◇A をAの準終射〈quasi terminal morphism〉と呼ぶ。セリンガー…