Related papers: Free monoid in monoidal abelian categories
We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…
We study some classes of lazy cocycles, called pure (respectively neat), together with their categorical counterparts, entwined (respectively strongly entwined) monoidal categories.
Given a monoidal category $\mathscr{C}$ with an object $J$, we construct a monoidal category $\mathscr{C}[J^{\vee}]$ by freely adjoining a right dual $J^{\vee}$ to $J$. We show that the canonical strong monoidal functor $\Omega :…
Among right-closed monoidal categories with finite coproducts, we characterise those with finite biproducts as being precisely those in which the initial object and the coproduct of the unit with itself admit right duals. This generalises…
In the first part of this article, we give an analysis of the free monad sequence in non-cocomplete categories, with the needed colimits explicitly parametrized. This enables us to state a more finely grained functoriality principle for…
We study the deformation theory of morphisms of properads and props thereby extending to a non-linear framework Quillen's deformation theory for commutative rings. The associated chain complex is endowed with a Lie algebra up to homotopy…
Prestacks are algebro-geometric objects whose defining relations are far from quadratic. Indeed, they are cubic and quartic, and moreover inhomogeneous. Similarly, a morphism of $P$-algebras for a (nonsymmetric) Koszul operad $P$ has…
We show that free objects on sets do not exist in the category $bal$ of bounded archimedean $\ell$-algebras. On the other hand, we introduce the category of weighted sets and prove that free objects on weighted sets do exist in $bal$. We…
We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.
Let $\mathbb{K}$ be an algebraically closed field of characteristic $0$. We study a monoidal category $\mathbb{T}_\alpha$ which is universal among all symmetric $\mathbb{K}$-linear monoidal categories generated by two objects $A$ and $B$…
Equivariant monoids are very important objects in many branches of mathematics: they combine the notion of multiplication and the concept of a group action. In this paper we will construct categories which encode the structure borne by…
The category of involutive non-commutative sets encodes the structure of an involution compatible with a (co)associative (co)multiplication. We prove that the category of involutive bimonoids in a symmetric monoidal category is equivalent…
Inspired by recent work of Batanin and Berger on the homotopy theory of operads, a general monad-theoretic context for speaking about structures within structures is presented, and the problem of constructing the universal ambient structure…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
We give a conceptual treatment of the notion of joints, marginals, and independence in the setting of categorical probability. This is achieved by endowing the usual probability monads (like the Giry monad) with a monoidal and an opmonoidal…
We give conditions on a monoidal model category M and on a set of maps C so that the Bousfield localization of M with respect to C preserves the structure of algebras over various operads. This problem was motivated by an example that…
We develop a categorical approach to quivers and their modules. Naturally this leads to a notion of an action of a monoidal category on quivers. Using this, we construct for a large class of quivers rigid monoidal structures on their…
We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is…
We show that contrary to common belief in the DisCoCat community, a monoidal category is all that is needed to define a categorical compositional model of natural language. This relies on a construction which freely adds adjoints to a…
We provide explicit and unified formulae for the normalized 3-cocycles on arbitrary finite abelian groups. As an application, we compute all the braided monoidal structures on linear Gr-categories.