なんかのはずみで見つけた"Polarized Proof Nets with Cycles and Fixpoints Semantics"（http://www.pps.jussieu.fr/~montela/papers/tlca03.pdf）がけっこうひろいものだった。どうやって引っかけたか忘れたが： google:"linear logic" polarized functor …

なんか、思惑とは違った展開だな -- 別にいいけど。状況をまとめておく。まず、ElgotオペレータとConwayオペレータは、本質的に同じことがわかった。Elgotオペレータが余デカルト（な対称モノイド）圏、Conwayオペレータがデカルト圏に作用するもので、お互…