Discrete equational theories
Discrete equational theories
Abstract On a locally $\lambda$ -presentable symmetric monoidal closed category $\mathcal {V}$ , $\lambda$ -ary enriched equational theories correspond to enriched monads preserving $\lambda$ -filtered colimits. We introduce discrete $\lambda$ -ary enriched equational theories where operations are induced by those having discrete arities (equations are not required to have discrete …