New introduction; Section 1 shortened and redispatched with Section 2; Subsections on symmetric operads (3.14) and symmetric simplicial sets (4.17) added; Bibliography completedInternational audienceAfter a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic theories to a general correspondence between monads and theories for a given category with arities. As application we determine arities for the free groupoid monad on involutive graphs and recover the symmetric simplicial nerve characterisation of groupoids
all small symmetric multicategories enriched in simplicial sets. Operads are combinatorial objects t...
We extend the basic concepts of Street’s formal theory of monads from the setting of 2-categories to...
AbstractWe extend the basic concepts of Street’s formal theory of monads from the setting of 2-categ...
New introduction; Section 1 shortened and redispatched with Section 2; Subsections on symmetric oper...
New introduction; Section 1 shortened and redispatched with Section 2; Subsections on symmetric oper...
AbstractAfter a review of the concept of “monad with arities” we show that the category of algebras ...
After a review of the concept of "monad with arities" we show that the category of algebras for such...
AbstractAfter a review of the concept of “monad with arities” we show that the category of algebras ...
ABSTRACT. We generalize Dress and M"uller's main result in [5]. We observe thattheir r...
We introduce the symmetricity notions of symmetric hmonoidality, symmetroidality, and symmetric flat...
I exhibit a pair of non-symmetric operads that, although not themselves isomorphic, induce isomorphi...
I exhibit a pair of non-symmetric operads that, although not themselves isomorphic, induce isomorphi...
In this article we give a construction of a polynomial 2-monad from an operad and describe the algeb...
AbstractWe generalise the correspondence between Lawvere theories and finitary monads on Set in two ...
Abstract. In this article we give a construction of a polynomial 2-monad from an operad and describe...
all small symmetric multicategories enriched in simplicial sets. Operads are combinatorial objects t...
We extend the basic concepts of Street’s formal theory of monads from the setting of 2-categories to...
AbstractWe extend the basic concepts of Street’s formal theory of monads from the setting of 2-categ...
New introduction; Section 1 shortened and redispatched with Section 2; Subsections on symmetric oper...
New introduction; Section 1 shortened and redispatched with Section 2; Subsections on symmetric oper...
AbstractAfter a review of the concept of “monad with arities” we show that the category of algebras ...
After a review of the concept of "monad with arities" we show that the category of algebras for such...
AbstractAfter a review of the concept of “monad with arities” we show that the category of algebras ...
ABSTRACT. We generalize Dress and M"uller's main result in [5]. We observe thattheir r...
We introduce the symmetricity notions of symmetric hmonoidality, symmetroidality, and symmetric flat...
I exhibit a pair of non-symmetric operads that, although not themselves isomorphic, induce isomorphi...
I exhibit a pair of non-symmetric operads that, although not themselves isomorphic, induce isomorphi...
In this article we give a construction of a polynomial 2-monad from an operad and describe the algeb...
AbstractWe generalise the correspondence between Lawvere theories and finitary monads on Set in two ...
Abstract. In this article we give a construction of a polynomial 2-monad from an operad and describe...
all small symmetric multicategories enriched in simplicial sets. Operads are combinatorial objects t...
We extend the basic concepts of Street’s formal theory of monads from the setting of 2-categories to...
AbstractWe extend the basic concepts of Street’s formal theory of monads from the setting of 2-categ...
Add to ORKG