昨日の記事「テスト付きクリーネ代数とその使い方」において、デクスター・コゥゼン（Dexter Kozen）のテスト付きクリーネ代数（Kleene Algebra with Test; KAT）は幾分使いにくい所があると書きました。それで、圏論的に書きなおそうと試してみました。やっ…