Related papers: Calculations for Plus Constructions
In this paper we study plus-one generated arrangements of conics and lines in the complex projective plane with simple singularities. We provide several degree-wise classification results that allow us to construct explicit examples of such…
We develop and extend the theory of Mackey functors as an application of enriched category theory. We define Mackey functors on a lextensive category $\E$ and investigate the properties of the category of Mackey functors on $\E$. We show…
We propose a construction of the monoidal envelope of $\infty$-operads in the model of Segal dendroidal spaces, and use it to define cocartesian fibrations of such. We achieve this by viewing the dendroidal category as a "plus construction"…
We construct model category structures for monoids and modules in symmetric monoidal model categories which satisfy an extra axiom, the monoidal axiom, with applications to symmetric spectra and $\Gamma$-spaces.
This paper studies the Eilenberg Moore construction on DG categories. As applications one proves results on factoring of monads as composition of a pair of adjoint exact functors and further applications to reinterpretations of equivariant…
The purpose of this paper is to consider some basic constructions in the category of compact quantum groups --for example de case of extensions, of Drinfeld twists, of matched pairs, of extensions, of linked pairs and of cocycle Singer…
In this paper we give a complete classification of unitary fusion categories $\otimes$-generated by an object of dimension $\frac{1 + \sqrt{5}}{2}$. We show that all such categories arise as certain wreath products of either the Fibonacci…
In order to avoid well-know paradoxes associated with self-referential definitions, higher-order dependent type theories stratify the theory using a countably infinite hierarchy of universes (also known as sorts), Type$_0$ : Type$_1$ :…
In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on…
Categories can be identified -- up to isomorphism -- with polynomial comonads on Set. The left Kan extension of a functor along itself is always a comonad -- called the density comonad -- so it defines a category when its carrier is…
Containers represent a wide class of type constructions relevant for functional programming and (co)inductive reasoning. Indexed containers generalize this notion to better fit the scope of dependently typed programming. When interpreting…
We define the notion of an enriched Reedy category, and show that if A is a C-Reedy category for some symmetric monoidal model category C and M is a C-model category, the category of C-functors and C-natural transformations from A to M is…
In this paper, we show another proof of the problem by constructing a strict monoidal category M(C) consisting of M-functors and M-morphisms of a category C and we prove C is equivalent to it. The proof is based on a basic character of…
Unitary fusion categories (UFCs) have gained increased attention due to emerging connections with quantum physics. We consider a fusion rule of the form $q\otimes q \cong \mathbf{1}\oplus\bigoplus^k_{i=1}x_{i}$ in a UFC $\mathcal{C}$, and…
Originally enriched categories were defined over a monoidal category, but it was gradually realized that important examples can only be included when one enriches over more general structures such as bicategories and virtual double…
In this article functorial Feynman rules are introduced as large generalizations of physicists Feynman rules, in the sense that they can be applied to arbitrary classes of hypergraphs, possibly endowed with any kind of structure on their…
We discuss a generalization of Kummer construction which, on the base of an integral representation of a finite group and local resolution of its quotient, produces a higher dimensional variety with trivial canonical class. As an…
Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…
We introduce the notion of a monoidal category enriched in a braided monoidal category $\mathcal V$. We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld center of some…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…