Related papers: Lax colimits and free fibrations in $\infty$-categ…

In this work we propose a realization of Lurie's prediction that inner fibrations $p: X \rightarrow A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects are $\infty$-categories, morphisms are correspondences…

To a symplectic Lefschetz pencil on a monotone symplectic manifold, we associate an algebraic structure, which is a pencil of categories in the sense of noncommutative geometry. One fibre of this "noncommutative pencil" is related to the…

A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived…

We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…

We prove that a (lax) bilimit of a 2-functor is characterized by the existence of a limiting contraction in the 2-category of (lax) cones over the diagram. We also investigate the notion of bifinal object and prove that a (lax) bilimit is a…

We give a model-independent construction of directed univalent cocartesian fibrations of $(\infty,1)$-categories, and prove a straightening equivalence against such fibrations. The key step is showing that cocartesian fibrations descend…

For a variety X which admits a Cox ring we introduce a functor from the category of quasi-coherent sheaves on $X$ to the category of graded modules over the homogeneous coordinate ring of $X$. We show that this functor is right-adjoint to…

We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…

This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple…

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…

I show that any locally Cartesian left localisation of a presentable infinity-category admits a right proper model structure in which all morphisms are cofibrations, and obtain a Koszul duality classification of its fibrations. By a simple…

We define and study cartesian and cocartesian fibrations between categories internal to an $\infty$-topos and prove a straightening equivalence in this context.

We capture in the context of lex colimits, introduced by Garner and Lack, the universal property of the free regular and Barr-exact completions of a weakly lex category. This is done by introducing a notion of flatness for functors…

If $D$ is a Reedy category and $M$ is a model category, the category $M^{D}$ of $D$-diagrams in $M$ is a model category under the Reedy model category structure. If $C \to D$ is a Reedy functor between Reedy categories, then there is an…

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…

We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets…

Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial…

Given an $\infty$-bicategory $\mathbb{D}$ with underlying $\infty$-category $\mathcal{D}$, we construct a Cartesian fibration $\operatorname{Tw}(\mathbb{D})\to \mathcal{D} \times \mathcal{D}^{\operatorname{op}}$, which we call the enhanced…

A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to…

We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…