Related papers: $\infty$-categorical monadicity and descent

Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is otherwise fully weak. Our approach is based on the existing type…

We introduce and study the Scott adjunction, relating accessible categories with directed colimits to topoi. Our focus is twofold, we study both its applications to formal model theory and its geometric interpretation. From the geometric…

Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $\infty$-categories. One of our main results is an…

We give another proof of the fact that there is a dual equivalence between the $\infty$-category of monoidal $\infty$-categories with left adjoint oplax monoidal functors and that with right adjoint lax monoidal functors by constructing a…

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…

This thesis is divided into two parts. In the first part, we study models of $(\infty,\omega)$-categories. The main result is to establish a Quillen equivalence between Rezk's complete Segal $\Theta$-spaces and Verity's complicial sets. In…

We study codensity monads $T$ induced by (mostly small, mostly dense) full subcategories $A \subset K$. These monads behave quite similarly, we show some connections with the Isbell duality, pro-finite objects and compact spaces. We prove…

This paper concerns spherical adjunctions of stable $\infty$-categories and their relation to monadic adjunctions. We begin with a proof of the 2/4 property of spherical adjunctions in the setting of stable $\infty$-categories. The proof is…

We consider $(\infty,d)$-categories in the limit $d\to \infty$ via the core or localization functors that forget or invert higher non-invertible arrows, respectively. We compare the two resulting $(\infty,1)$-categories of…

We present an alternative cosmology based on conformal gravity, as originally introduced by H. Weyl and recently revisited by P. Mannheim and D. Kazanas. Unlike past similar attempts our approach is a purely kinematical application of the…

We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from…

We develop a new framework to study real $K$-theory in the context of $\infty$-categories. For this, we introduce Waldhausen $\infty$-categories with genuine duality, which will be the input for such $K$-theory. These are Waldhausen…

The two-dimensional case occupies a special position in the theory of critical phenomena due to the exact results provided by lattice solutions and, directly in the continuum, by the infinite-dimensional character of the conformal algebra.…

We reconceptualize the process of forming $n$-excisive approximations to $\infty$-categories, in the sense of Heuts, as inverting the suspension functor lifted to $A_n$-cogroup objects. We characterize $n$-excisive $\infty$-categories as…

For every adjunction of stable $\infty$-categories -- or more generally, in any locally stable $(\infty,2)$-category -- we give a simple procedure for inverting the twist and cotwist functors associated to this adjunction. As a consequence,…

We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.

We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…

We introduce the notion of weighted limit in an arbitrary quasi-category, suitably generalizing ordinary limits in a quasi-category, and classical weighted limits in an ordinary category. This is accomplished by generalizing Joyal's…

We construct a 2-categorical extension of the relative entropy functor of Baez and Fritz, and show that our construction is functorial with respect to vertical morphisms. Moreover, we show such a `2-relative entropy' satisfies natural…

We give sufficient conditions for effective descent in categories of (generalized) internal multicategories. Two approaches to study effective descent morphisms are pursued. The first one relies on establishing the category of internal…