Related papers: Augmented virtual double categories
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…
We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in…
Higher cluster categories were recently introduced as a generalization of cluster categories. This paper shows that in Dynkin types A and D, half of all higher cluster categories are actually just quotients of cluster categories. The other…
Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…
We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…
The point of this paper is to prove the conjecture that virtual 2-vector bundles are classified by K(ku), the algebraic K-theory of topological K-theory. Hence, by the work of Ausoni and the fourth author, virtual 2-vector bundles give us a…
In this paper we extend the concept of dinaturality to the setting of double categories. We introduce the dinatural versions of double-categorical transformations and modifications, and show that ordinary natural transformations and…
In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions…
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
We define a bicategory $\mathbf{2TDX}$ whose 1-cells provide a categorification of transducers, computational devices extending finite-state automata with output capabilities. This bicategory is a mathematically interesting object: its…
A locally coherent exact category is a finitely accessible additive category endowed with an exact structure in which the admissible short exact sequences are the directed colimits of admissible short exact sequences of finitely presentable…
We define the concept of a regular object with respect to another object in an arbitrary category. We present basic properties of regular objects and we study this concept in the special cases of abelian categories and locally finitely…
A super-modular category is a unitary pre-modular category with M\"uger center equivalent to the symmetric unitary category of super-vector spaces. Super-modular categories are important alternatives to modular categories as any unitary…
Let $\mathscr{C}$ be a $2$-Calabi-Yau triangulated category with two cluster tilting subcategories $\mathscr{T}$ and $\mathscr{U}$. Results by Demonet-Iyama-Jasso and J{\o}rgensen-Yakimov known as tropical duality says that the index with…
We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on…
Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm…
For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…
On a suitable category of formal schemes equipped with codimension functions we construct a canonical pseudofunctor (-)^# taking values in the corresponding categories of Cousin complexes. Cousin complexes on such a formal scheme X…