Related papers: Inner horns for 2-quasi-categories

To a conical symplectic resolution with Hamiltonian torus action, Braden--Proudfoot--Licata--Webster associate a category O, defined using deformation quantization (DQ) modules. It has long been expected, though not stated precisely in the…

This paper provides a blueprint for the construction of a symplectic $(A_\infty,2)$-category, $\mathsf{Symp}$. We develop two ways of encoding the information in $\mathsf{Symp}$ -- one topological, one algebraic. The topological encoding is…

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

We give structural results about bifibrations of (internal) $(\infty,1)$-categories with internal sums. This includes a higher version of Moens' Theorem, characterizing cartesian bifibrations with extensive aka stable and disjoint internal…

I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that…

If M is a model category and Z is an object of M, then there are model category structures on the category of objects of M over Z and the category of objects of M under Z under which a map is a cofibration, fibration, or weak equivalence if…

We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups.…

We study $\infty$-categories in the synthetic simplicial type theory developed by Riehl and Shulman. In particular, we define cocartesian fibrations and prove their closure properties using a novel equivalence between LARI adjunctions and…

(Pseudo) double categories have two sorts of morphisms: tight ones which compose strictly, and loose ones which compose up to coherent isomorphism. In this paper, we consider bimodules between double categories in the loose direction. We…

This article develops a theory of cell combinatorics and cell 2-representations for differential graded 2-categories. We introduce two types of partial preorders, called the strong and weak preorder. We then analyse and compare them. The…

We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects…

In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a…

The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also…

We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…

We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…

Given a finite dimensional algebra $A$, we consider certain sets of idempotents of $A$, called self-injective cores, to which we associate 2-subcategories of the 2-category of projective bimodules over $A$. We classify the simple transitive…

Quasi-abelian categories are abundant in functional analysis and representation theory. It is known that a quasi-abelian category $\mathcal{E}$ is a cotilting torsionfree class of an abelian category. In fact, this property characterizes…

We give a topological description of Ext groups between simple representations of categories via a nerve type construction. We use it to show that the Koszulity of indiscretely based category algebras is equivalent to the locally bouquet…

We study the framework of $\infty$-equipments which is designed to produce well-behaved theories for different generalizations of $\infty$-categories in a synthetic and uniform fashion. We consider notions of (lax) functors between these…

Through the notion of weakly sound class of weights, we recover many known dualities involving accessible categories with a chosen class of limits, as instances of a general duality theorem. These include the Gabriel-Ulmer duality for…