Cが有限余完備のとき、Cospan(C)はself-dualコンパクト閉圏になる。self-dualとは、dualizerがidentity-on-objectsなこと。さらにCospan(C)は、well-supportedというすごく強い性質を持つらしい。Int構成とどんな関係がある（あるいはない）のだろう？

google:Elgot iteration monad category

Calvin C. Elgot: Selected Papers (ハードカバー) http://www.amazon.co.jp/exec/obidos/ASIN/3540563784/303-9204520-3937814 Iteration Theories (EATCS Monographs in Theoretical Computer Science S.) (ハードカバー) http://www.amazon.co.jp/exec/ob…