Related papers: On the functoriality of universal abelian factoriz…
We prove a universal property for $\infty$-categories of spans in the generality of Barwick's adequate triples, explicitly describe the cocartesian fibration corresponding to the span functor, and show that the latter restricts to a…
We study the general fibre of a formal deformation over the formal disk of a projective variety from the view point of abelian and derived categories. The abelian category of coherent sheaves of the general fibre is constructed directly…
We give a new construction, based on categorical logic, of Nori's $\mathbb Q$-linear abelian category of mixed motives associated to a cohomology or homology functor with values in finite-dimensional vector spaces over $\mathbb Q$. This new…
Let $\mathcal{S}$ be a small category, and suppose that we are given two (non-full) subcategories $\mathcal{S}^{sm}$ and $\mathcal{S}^{cl}$ that generate all morphisms of $\mathcal{S}$ under composition in the same way as morphisms of…
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…
Ongoing work in quantum information emphasises the need for a structural understanding of quantum speedups: in this work, we focus on the quantum Fourier transform and the structures in quantum theory that enable it. We elucidate a general…
Given a cohomological functor from a triangulated category to an abelian category, we construct under appropriate assumptions for any localization functor of the abelian category a lift to a localization functor of the triangulated…
We investigate canonical factorizations of ordered functors of ordered groupoids through star-surjective functors. Our main construction is a quotient ordered groupoid, depending on an ordered version of the notion of normal subgroupoid,…
In arXiv:2209.06121, they defined a general plus construction for monoidal categories and showed that if the monoidal category is a unique factorization category, then the plus construction yields a Feynman category. In this paper, we will…
Multisorted modules, equivalently representations of quivers, equivalently additive functors on preadditive categories, encompass a wide variety of additive structures. In addition, every module has a natural and useful multisorted…
In this dissertation we examine enrichment relations between categories of dual structure and we sketch an abstract framework where the theory of fibrations and enriched category theory are appropriately united. We initially work in the…
We develop a theory of localization for braid group representations associated with objects in braided fusion categories and, more generally, to Yang-Baxter operators in monoidal categories. The essential problem is to determine when a…
This paper deals with properties of filtrations on vector spaces indexed by partially ordered finitely generated abelian groups, which we call multifiltrations. We discuss the usual properties of filtrations, like exhaustivity and…
We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions…
For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…
A Quillen model structure is presented by an interacting pair of weak factorization systems. We prove that in the world of locally presentable categories, any weak factorization system with accessible functorial factorizations can be lifted…
We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…
The aim of this paper is to introduce a tensor structure for the Serre quotient category of an abelian monoidal category with biexact tensor product to make the canonical functor a monoidal functor. In this tensor product, the Serre…
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…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…