Related papers: Structures on Categories of Polynomials

Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…

Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we…

We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…

We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…

We show that if $(M,\tensor,I)$ is a monoidal model category then $\REnd_M(I)$ is a (weak) 2-monoid in $\sSet$. This applies in particular when $M$ is the category of $A$-bimodules over a simplicial monoid $A$: the derived endomorphisms of…

In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis.…

We extend some classical results - such as Quillen's Theorem A, the Grothendieck construction, Thomason's Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads…

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…

In this article we study a relative monoidal version of the Bondal-Orlov reconstruction theorem. We establish an uniqueness result for tensor triangulated category structures $(\boxtimes,\mathbb{1})$ on the derived category $D^{b}(X)$ of a…

This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…

A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This…

We show that the stable module categories of certain selfinjective algebras of finite representation type having tree class A_n, D_n, E_6, E_7 or E_8 are triangulated equivalent to u-cluster categories of the corresponding Dynkin type. The…

Let G be a unipotent algebraic group over an algebraically closed field k of characteristic p > 0 and let l be a prime different from p. Let e be a minimal idempotent in D_G(G), the braided monoidal category of G-equivariant (under…

A double category is constructed from a `fattened' version of a given category, motivated in part by a context of parallel transport. We also study monoidal structures on the underlying category and on the fattened category.

We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…

Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…

We exhibit a monoidal structure on the category of finite sets indexed by P-trees for a finitary polynomial endofunctor P. This structure categorifies the monoid scheme (over Spec N) whose semiring of functions is (a P-version of) the…

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 give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\Lambda$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of…

Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base…