Commutants for Enriched Algebraic Theories and Monads

Abstract

We define and study a notion of commutant for $$\mathscr {V}$$ -enriched $${\mathscr {J}}$$ -algebraic theories for a system of arities $${\mathscr {J}}$$ , recovering the usual notion of commutant or centralizer of a subring as a special case alongside Wraith’s notion of commutant for Lawvere theories as well as a notion of commutant for $$\mathscr {V}$$ -monads on a symmetric monoidal closed category $$\mathscr {V}$$ . This entails a thorough study of commutation and Kronecker products of operations in $${\mathscr {J}}$$ -theories. In view of the equivalence between $${\mathscr {J}}$$ -theories and $${\mathscr {J}}$$ -ary monads we reconcile this notion of commutation with Kock’s notion of commutation of cospans of monads and, in particular, the notion of commutative monad. We obtain notions of $${\mathscr {J}}$$ -ary commutant and absolute commutant for $${\mathscr {J}}$$ -ary monads, and we show that for finitary monads on $$\text {Set}$$ the resulting notions of finitary commutant and absolute commutant coincide. We examine the relation of the notion of commutant to both the notion of codensity monad and the notion of algebraic structure in the sense of Lawvere.