Related papers: Inner horns for 2-quasi-categories
Recently Riehl and Verity have introduced $\infty$-cosmoi, which are certain simplicially enriched categories with additional structure. In this paper we investigate those $\infty$-cosmoi which are in fact $2$-categories; we shall refer to…
This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to existing fibrational notions such as monoidal fibrations and…
The goal of this paper is to provide the last equivalence needed in order to identify all known models for $(\infty,2)$-categories. We do this by showing that Verity's model of saturated $2$-trivial complicial sets is equivalent to Lurie's…
In this work we provide a model-independent notion of local fibrations of $(\infty,2)$-categories which generalises the well-known theory of locally coCartesian fibrations of $(\infty,1)$-categories. Based on previous work, we construct a…
We set the foundations of a theory of Grothendieck $(\infty,2)$-topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for fibrations internal to an $(\infty,2)$-category as well as…
In this work, we conclude our study of fibred $\infty$-bicategories by providing a Grothendieck construction in this setting. Given a scaled simplicial set $S$ (which need not be fibrant) we construct a 2-categorical version of Lurie's…
We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…
The unstraightening construction due to Lurie establishes an equivalence between presheaves and fibrations, using one prominent model of $(\infty,1)$-categories, namely quasi-categories. In this work we generalize this result by proving…
As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…
In this paper, we obtain two extension theorems for cohomology classes and holomorphic sections defined on analytic subvarieties, which are defined as the supports of the quotient sheaves of multiplier ideal sheaves of…
In this paper, we provide a notion of $\infty$-bicategories fibred in $\infty$-bicategories which we call 2-Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled…
We study four types of (co)cartesian fibrations of $\infty$-bicategories over a given base $\mathcal{B}$, and prove that they encode the four variance flavors of $\mathcal{B}$-indexed diagrams of $\infty$-categories. We then use this…
This paper is concerned with developing a 2-dimensional analogue of the notion of an ordinary discrete fibration. A definition is proposed, and it is shown that such discrete 2-fibrations correspond via a 2-equivalence to certain…
In this paper we study a 2-dimensional version of Quillen's homotopy category construction. Given a category $\mathscr{A}$ and a class of morphisms $\Sigma \subset \mathscr{A}$ containing the identities, we construct a 2-category…
In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations make available to end-users of higher…
Fibrations over a category $B$, introduced to category theory by Grothendieck, encode pseudo-functors $B^{op} \rightsquigarrow {\bf Cat}$, while the special case of discrete fibrations encode presheaves $B^{op} \to {\bf Set}$. A two-sided…
We use Cisinski's machinery to construct and study model structures on the category of simplicial sets whose classes of fibrant objects generalize quasi-categories. We identify a lifting condition which captures the homotopical behavior of…
We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with respect to inner open boxes, the cubical…
In a recent paper we introduced a much weaker and easy to verify structure than a model category, which we called a "weak fibration category". We further showed that a small weak fibration category can be "completed" into a full model…
We introduce group-theoretical fusion 2-categories, a strong categorification of the notion of a group-theoretical fusion 1-category. Physically speaking, such fusion 2-categories arise by gauging subgroups of a global symmetry. We show…