脈絡は過剰に気にすることはないだろう。後からリンクを張ればいい。

ホプキンス（Hopkins）／カール（Kahl）／木下等によりKleene圏が定義されているが、事実上のKleene圏の創始者はデクスター・コゥゼン（Kozen）のような気がする。それで、Kleene圏のバリアントをKozen圏と呼ぶことにしよう。（コォゼン圏（Kozen圏） 再び -…