ABSTRACT. We generalize Dress and M"uller's main result in [5]. We observe thattheir result can be seen as a characterization of free algebras for certain monad on the category of species. This perspective allows to formulate a general exponentialprinciple in a symmetric monoidal category. We show that for any groupoid G, the category c!G of presheaves on the symmetric monoidal completion!G of G satisfies theexponential principle. The main result in [5] reduces to the case G = 1. We discuss twonotions of functor between categories satisfying the exponential principle and expres
AbstractWe give an explicit description of the free completion EM(K) of a 2-category K under the Eil...
In this paper we investigate important categories lying strictly between theKleisli category and the...
International audienceThe exponential modality of linear logic associates a commutative comonoid !A ...
This thesis presents several complete and partial models for the homotopy theory of monoids and the ...
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...
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 ...
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free ...
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free ...
International audienceThe exponential modality of linear logic associates to every formula A a commu...
We introduce the symmetricity notions of symmetric hmonoidality, symmetroidality, and symmetric flat...
After a review of the concept of "monad with arities" we show that the category of algebras for such...
We give an explicit description of the free completion EM(K) of a 2-category K under the Eilenberg–M...
We study the existence and left properness of transferred model structures for “monoid-like” objects...
AbstractWe give an explicit description of the free completion EM(K) of a 2-category K under the Eil...
In this paper we investigate important categories lying strictly between theKleisli category and the...
International audienceThe exponential modality of linear logic associates a commutative comonoid !A ...
This thesis presents several complete and partial models for the homotopy theory of monoids and the ...
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...
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 ...
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free ...
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free ...
International audienceThe exponential modality of linear logic associates to every formula A a commu...
We introduce the symmetricity notions of symmetric hmonoidality, symmetroidality, and symmetric flat...
After a review of the concept of "monad with arities" we show that the category of algebras for such...
We give an explicit description of the free completion EM(K) of a 2-category K under the Eilenberg–M...
We study the existence and left properness of transferred model structures for “monoid-like” objects...
AbstractWe give an explicit description of the free completion EM(K) of a 2-category K under the Eil...
In this paper we investigate important categories lying strictly between theKleisli category and the...
International audienceThe exponential modality of linear logic associates a commutative comonoid !A ...