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. Pτ X f У (in Kl(T )) = ΩY τ] ΩTY f∗
Appears in 6 contracts
Samples: End User Agreement, End User Agreement, End User Agreement
