Related papers: Cartesian factorization systems and pointed cartes…
We develop parametrized generalizations of a number of fundamental concepts in the theory of $\infty$-categories, including factorization systems, free fibrations, exponentiable fibrations, relative colimits and relative Kan extensions,…
Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…
We introduce extriangulated factorization systems in extriangulated categories and show that there exists a bijection between $s$-torsion pairs and extriangulated factorization systems. We also consider the gluing of $s$-torsion pairs and…
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,…
We formulate a model-independent theory of co/cartesian morphisms and co/cartesian fibrations: that is, one which resides entirely *within the $\infty$-category of $\infty$-categories*. We prove this is suitably compatible with the…
We define triangulated factorization systems on triangulated categories, and prove that a suitable subclass thereof (the normal triangulated torsion theories) corresponds bijectively to $t$-structures on the same category. This result is…
In the first part of this paper we study fibrations of $(\infty,2)$-categories. We give a simple characterization of such fibrations in terms of a certain square being a pullback, and apply this to show that in some cases…
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…
We construct a flagged $\infty$-category ${\sf Corr}$ of $\infty$-categories and bimodules among them. We prove that ${\sf Corr}$ classifies exponentiable fibrations. This representability of exponentiable fibrations extends that…
We show that the conditions in Steimle's 'additivity theorem for cobordism categories' can be weakened to only require \emph{locally} (co)Cartesian fibrations, making it applicable to a larger class of functors. As an application we compute…
We characterize $t$-structures in stable $\infty$-categories as suitable quasicategorical factorization systems. More precisely we show that a $t$-structure $\mathfrak{t}$ on a stable $\infty$-category $\mathbf{C}$ is equivalent to a normal…
We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: On marked simplicial sets, on bisimplicial spaces, on bisimplicial sets, on marked simplicial spaces. The main…
We define and discuss lax and weighted colimits of diagrams in $\infty$-categories and show that the coCartesian fibration associated to a functor is given by its lax colimit. A key ingredient, of independent interest, is a simple…
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…
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 provide an $(\infty,n)$-categorical version of the straightening-unstraightening construction, asserting an equivalence between the $(\infty,n)$-category of double $(\infty,n-1)$-right fibrations over an $(\infty,n)$-category…
There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category $\mathbf{Coh_{\sim}}$ (of small coherent categories, coherent functors and all…
In this thesis, we introduce Cartesian double categories, motivated by the work of Carboni, Kelly, Walters, and Wood on Cartesian bicategories. Moving from bicategories to the slightly more generalized notion of double categories allows us…
We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together…