「マイヤースのシステム理論への違和感と代替案」で述べたIOCシステム〈入力・出力・制御付きシステム〉と、制御インターフェイスへのラッパーについて、具体的な定義を提示します。背景となる圏は集合圏としますが、デカルト圏や対称モノイド圏への拡張は難…