Related papers: Cosmological Unstraightening
We develop various aspects of the theory of recollements of $\infty$-categories, including a symmetric monoidal refinement of the theory. Our main result establishes a formula for the gluing functor of a recollement on the right-lax limit…
Riehl and Verity have introduced an "$\infty$-cosmic" framework in which they redevelop the category theory of $\infty$-categories using 2-categorical arguments. In this paper, we begin with a self-contained review of the parts of their…
We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a…
An important result in quasi-category theory due to Lurie is the that cocartesian fibrations are exponentiable, in the sense that pullback along a cocartesian fibration admits a right Quillen right adjoint that moreover preserves cartesian…
We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy…
We extend the bar-cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. We handle the lack of augmentation by extending the…
We have another look at the construction by Hofmann and Streicher of a universe $(U,{\mathsf{E}l})$ for the interpretation of Martin-L\"of type theory in a presheaf category $\psh{\C}$. It turns out that $(U,{\mathsf{E}l})$ can be described…
In the present article we discuss the classification of quantum groups whose quasi-classical limit is a given simple complex Lie algebra $\mathfrak{g}$. This problem reduces to the classification of all Lie bialgebra structures on…
We prove an unstraightening result for lax transformations between functors from an arbitrary $(\infty,2)$-category to that of $(\infty,2)$-categories. We apply this to study partially (op)lax and weighted (co)limits, giving fibrational…
In this paper we discuss two major conjectures in Mirror Symmetry: Strominger-Yau-Zaslow conjecture about torus fibrations, and the homological mirror conjecture (about an equivalence of the Fukaya category of a Calabi-Yau manifold and the…
It is proved that for any Grothendieck site $X$, there exists a coreflection (called $\mathbf{cosheafification}$) from the category of precosheaves on $X$ with values in a category $\mathbf{K}$, to the full subcategory of cosheaves,…
We consider the category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves where $\mathbb{X}$ is a weighted noncommutative regular projective curve over a field $k$. This category is a hereditary, locally noetherian Grothendieck…
For every ring R, we present a pair of model structures on the category of pro-spaces. In the first, the weak equivalences are detected by cohomology with coefficients in R. In the second, the weak equivalences are detected by cohomology…
Let O be a topological (colored) operad. The Lurie infinity-category of O-algebras with values in (infinity-category of) complexes is compared to the infinity-category underlying the model category of (classical) dg O-algebras. This can be…
We improve the exodromy equivalence of MacPherson, Treumann and Lurie in several ways: first, we allow stratified spaces that have locally weakly contractible strata, rather than being locally of singular shape, we remove all noetherianity…
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…
The lifting theorem of Valdivia concerning (pre) compact sets and convergent (respectively, Cauchy) sequences from a quasi-(LB) space to a metrizable, strictly barrelled space is extended to a strictly larger collection of range spaces.…
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…
J. Lurie proved in Higher Topos Theory that for $K$ a simplicial set, $\mathcal{C}$ a simplicial category, $f: \mathfrak{C}[K] \rightarrow \mathcal{C}^{\text{op}}$ an equivalence of simplicial categories, we have a Quillen equivalence…
In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in…