順序を≦、同値関係を〜とすると、条件は： a≦b, a〜a' ⇒ a' ≦ b a≦b, b〜b' ⇒ a ≦ b' くらいかな。Aの商Q(A)にも「≦が落とせる」と言えばいいのか。

集合圏かCPOの圏で考えるとして（デカルト閉圏ならいい）、ωは自然数（順序付き）か似たようなモンだとして、Aは勝手な対象。 in:Aω→A out:A→Aω とすると、ストリームIOの雰囲気がする。inとoutの間には通常はなにかしら関係があるが、特に関係は考えないと…