Related papers: Skew monoidal categories and skew multicategories
It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We…
We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal…
Usually a name of the category is inherited from the name of objects. However more relevant for a category of objects and morphisms is an algebra of morphisms. Therefore we prefer to say a category of graphs if every morphism is a graph. In…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
We show that for a monoidal model category $\M=(\ul{M}, \otimes, I)$, certain co-Segal $\M$-categories are equivalent to strict ones.
A schemoid is a generalization of association schemes from the point of view of small categories. In this article, we discuss schemoid structures for two kinds of small categories; the canonical small category defined by a poset, and…
We use (non-)additive sheaves to introduce an (absolute) notion of Hochschild cohomology for exact categories as Ext's in a suitable bisheaf category. We compare our approach to various definitions present in the literature.
We develop a notion of iterated monoidal category and show that this notion corresponds in a precise way to the notion of iterated loop space. Specifically the group completion of the nerve of such a category is an iterated loop space and…
A new category of algebro-geometric objects is defined. This construction is a vast generalization of existing F1-theories, as it contains the the theory of monoid schemes on the one hand and classical algebraic theory, e.g. Grothendieck…
In this paper, we study the relationship between the two main categories of $S$-acts for a monoid $S$ with zero from the viewpoint of existence of projective covers and the equivalence is proven. Furthermore, monoids with zeros over which…
Layered monoidal theories provide a categorical framework for studying scientific theories at different levels of abstraction, via string diagrammatic algebra. We introduce models for three closely related classes of layered monoidal…
A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a description of the free skew-monoidal category on any category. As…
We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…
We prove Steinebrunner's conjecture on the biequivalence between (colored) properads and labelled cospan categories. The main part of the work is to establish a 1-categorical, strict version of the conjecture, showing that the category of…
We define 2-categories of microlocal perverse (resp. coherent) sheaves of categories on the skeleton of a hypertoric variety and show that the generators of these 2-categories lift the projectives (resp. simples) in hypertoric category…
In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to…
The usual notion of set-convexity, valid in the classical Euclidean context, metamorphoses into several distinct convexity types in the more general Riemannian setting. By studying this phenomenon in reverse, we characterize complete…
Parsummable categories were introduced by Schwede as input for his global algebraic $K$-theory construction. We prove that their whole homotopy theory with respect to the so-called global equivalences can already be modelled by the more…
We study a categorified generalization of Koszul duality that treats duality phenomena among monoidal categories. We establish Koszul duality results for stable monoidal infinity-categories associated with Artin algebras and related…
The Grothendieck monoid of an exact category is a monoid version of the Grothendieck group. We use it to classify Serre subcategories of an exact category and to reconstruct the topology of a noetherian scheme. We first construct bijections…