「準マルコフ圏からなる2-圏」において、準マルコフ圏を対象〈0-射〉として、準マルコフ関手を1-射として、反ラックス・モノイド自然変換を2-射とする2-圏（厳密2-圏）を構成しました。この2-圏のなかの余モナド〈コモナド〉を考えてみましょう。これは、「…