Related papers: Labelled cospan categories and properads
In this paper, we study conditions for extending Quillen model category properties , between two symmetric monoidal categories, to their associated category of symmetric sequences and of operads. Given a Quillen equivalence $\lambda:…
We introduce the category of bicomodules for a comonad in a Grothendieck category whose underlying functor is right exact and preserves direct sums. We characterize comonads with a separable forgetful functor by means of cohomology groups…
Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold…
We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…
If $\mathcal{C}$ is a cocomplete monoidal category in which tensoring from both sides preserves coequalizers, then the category of monoids over $\mathcal{C}$ is cocomplete. The same holds if $\mathcal{C}$ has regular factorizations and…
We show how the model structure on the category of simplicially-enriched (colored) props induces a model structure on the category of simplicially-enriched (colored) properads. A similar result holds for dioperads.
We characterize in terms of bicategories actions of monoidal categories to representation categories of algebras. For that purpose we introduce cocycles in any 2-category $\K$ and the category of Tambara modules over a monad $B$ in $\K$. We…
We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to…
We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…
We define a comonad cohomology of track categories and we show it is linked by a long exact sequence to its Dwyer-Kan-Smith cohomology . Under mild hypothesis on the track category, we show that its comonad cohomology coincides, up to…
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with…
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the…
Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact…
In this survey paper we give account of several approaches to the strictification and non-strictification of monoidal categories, which are constructions that turn a monoidal category into a (non-)strict one monoidally equivalent to the…
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…
We characterize virtual double categories of enriched categories, functors, and profunctors by introducing a new notion of double-categorical colimits. Our characterization is strict in the sense that it is up to equivalence between virtual…
It is well-known that the category of Kleisli algebras for a monoidal monad carries a canonical monoidal structure. We define the notion of a commutative graded monad and present a strictly two-categorical proof that Kleisli algebras for…
Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…
We state and prove a realization of King's Conjecture for a category glued from the derived categories of all of the toric varieties arising from a given Cox ring. Our perspective extends ideas of Beilinson and Bondal to all semiprojective…
The bicategory of normal functors between W*-categories is monoidally equivalent to the bicategory of W*-bimodules.