Common use of Relative Xxxxxxxxx-Xxxxx Algebra Clause in Contracts

Relative Xxxxxxxxx-Xxxxx Algebra. We shall introduce the notion of relative Xxxxxxxxx-Xxxxx algebra for a monad T on Set and a category D with small products. Notably its carrier object is an object of D; hence what we do is arguably to interpret a monad T on Set over a different category D. Remark 4.1. We expect further generalization is possible. The de- −→ Pτ X f У (in Kl(T )) = ΩY τ] ΩTY f∗