Common use of Relative Algebras over a Concrete Category Clause in Contracts

Relative Algebras over a Concrete Category. We have obtained the third, unified recipe for state-and-effect tri- angles in Theorem 4.8, together with a general healthiness result (Theorem 4.