An endofunctor T : π β π with natural transformations Ξ· : Id β T (unit) and ΞΌ : TΒ² β T (multiplication) satisfying associativity and unit laws. Equivalent to an adjunction; encodes algebraic structure and computational effects.
An endofunctor T : π β π with natural transformations Ξ· : Id β T (unit) and ΞΌ : TΒ² β T (multiplication) satisfying associativity and unit laws. Equivalent to an adjunction; encodes algebraic structure and computational effects.