Diagrammatic presentations of enriched monads and varieties for a subcategory of arities (Q6077388)

Classically a variety of (universal) algebras would be specified by a \textit{signature}, that is by a set, \(\Sigma\), of symbols for the operations involved, each one equipped with an \textit{arity}, i.e., a finite number, together with a set, \(E\), of equations satisfied by the \(\Sigma\)-algebras in the variety. In this context, the pair, \((\Sigma, E)\), is considered to be a presentation of the variety, or, equivalently, of the finitary monad, \(P\), whose algebras form the variety. It is well known that the overall setting of universal algebra can be generalised from a set-based theory to one in which sets are replaced by objects of a given symmetric monoid closed category, \(\mathcal{V}\), or, more generally, a \(\mathcal{V}\)-enriched category, \(\mathcal{C}\). For instance, the role of finitary monads can be replaced by a \(\mathcal{V}\)-enriched monad, and that of arities by a subcategory of arities \(\mathcal{J}\to \mathcal{C}\). The aim of this paper is to develop a framework and methodology for directly describing enriched algebraic structure in terms of operations and equations relative to such a \(\mathcal{J}\to \mathcal{C}\). Previous work has concentrated on the presentation of finitary enriched monads by generalising the idea of signatures. Here the authors aim rather for a formalism that more directly matches the procedures that are typically used in constructing specific examples of enriched algebraic categories more directly reflecting actual mathematical practice.