scientific article; zbMATH DE number 1254212
As its title indicates, this paper describes various flavours of operads from the (classical and categorical) universal algebra points of view, (quoting from the introduction) ``to sketch how they may be used to construct structures in category theory analogous to ones in \({\mathcal S}et\) -- in the sense in which MacLane monoidal categories are analogous to monoids. [\dots]; the chosen application is to Laplaza's coherence theorem. The description involves algebraic theories of special types. Quoting again the author: ``Being of such limited syntax allows operadic theories to extend to enriched categories more readily than the rest of universal algebra [\dots]. It also lets them extend from \({\mathcal S}et\)-based structures to ones in \({\mathcal C}at\) [\dots]; an aspect of this is captured, perhaps, in our notion of `relaxation'. The ultimate goal of any formalism of its kind would be an analogous development for \(n\)-categories -- an area where presenting algebraic structures in terms of generators and relations [\dots] has been notoriously cumbersome. Reviewer's comments: the manuscript of \textit{T. Leinster}, ``General operads and multicategories (1997), electronically available at www.dpmms.cam.ac.uk/\({}^\sim\)leinster, might be helpful in answering some of the questions raised in the paper; particularly relevant there is the connection between operads and strongly regular theories [and their corresponding monads: see \textit{A. Carboni} and \textit{P. Johnstone}, ``Connected limits, familial representability and Artin glueing, Math. Struct. Comput. Sci. 5, No. 4, 441-459 (1995; Zbl 0849.18002)], which seem to correspond to what is called compositional structures in the present paper. For the entire collection see [Zbl 0904.00041].
- scientific article; zbMATH DE number 2125641
- On the derived category of an algebra over an operad
- Algebras of higher operads as enriched categories
- Operads and Operadic Algebras in Homotopy Theory
- Algebraic operads
- Tangent categories of algebras over operads
- From operator categories to higher operads
- Operadic categories and décalage
- scientific article; zbMATH DE number 970059
- scientific article; zbMATH DE number 970063
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- From operator categories to higher operads
- Elements of a theory of algebraic theories
- Free algebras through Day convolution
- On one class of commutative operads
- Generalized Enrichments of Categories for Operads
- The category and operad of matching dialgebras
- Twisted arrow categories, operads and Segal conditions
- Compatibility between two conceptions of algebra over an operad
- scientific article; zbMATH DE number 970063 (Why is no real title available?)
- Algebraic operads. An algorithmic companion
- Categorification, term rewriting and the Knuth-Bendix procedure
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227249)
