一般化フィルターの圏を真面目にやってみればぁ

「In-Outコンポネントとパイプライン」の一般化フィルターの圏は、In-Outコンポネントの圏の部分圏。制限を付けているので、スター（双対）やトレースを定義できない。単にモノイド圏の構造を持つだけ。

それでも、まーまー面白い。対象類は、{+, -}から作った自由モノイド。状態遷移を副作用と思って、副作用付きの変換で意味を構成できそうだ。いや、構成すべきだ。