Related papers: A Theory of Elementary Higher Toposes

We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of…

Univalence was first defined in the setting of homotopy type theory by Voevodsky, who also (along with Kapulkin and Lumsdaine) adapted it to a model categorical setting, which was subsequently generalized to locally Cartesian closed…

We introduce the concept of topological finite-determinacy for germs of analytic functions within a fixed ideal $I$, which provides a notion of topological finite-determinacy of functions with non-isolated singularities. We prove the…

The main objective of this paper is to show that the homotopy colimit of a diagram of quasi-categories and indexed by a small category is a localization of Lurie's higher Grothendieck construction of the diagram. We thereby generalize…

The notions of compactness and Hausdorff separation for generalized enriched categories allow us, as classically done for the category $\mathsf{Top}$ of topological spaces and continuous functions, to study $\textit{compactly generated…

We extend some classical results - such as Quillen's Theorem A, the Grothendieck construction, Thomason's Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads…

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…

In first order logic, it is known that you can define a topology so that the countable models of some theory $T$ form a Polish Space (i.e. completely metrizable second countable space). In this paper we use the Baldwin- Boney Relational…

We introduce a Grothendieck group of algebraic stacks (with affine stabilisers) analogous to the Grothendieck group of algebraic varieties. We then identify it with a certain localisation of the Grothendieck group of algebraic varieties.…

We expand the theory of 2-classifiers, that are a 2-categorical generalization of subobject classifiers introduced by Weber. The idea is to upgrade monomorphisms to discrete opfibrations. We prove that the conditions of 2-classifier can be…

We study finiteness conditions in Grothendieck categories by introducing the concepts of objects of type $\text{FP}_n$ and studying their closure properties with respect to short exact sequences. This allows us to propose a notion of…

The development of category theory in univalent foundations and the formalization thereof is an active field of research. Categories in that setting are often assumed to be univalent which means that identities and isomorphisms of objects…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

For separable $C^*$-algebras $A$ and $B$, we define a topology on the set $[[A, B]]$ consisting of homotopy classes of asymptotic morphisms from $A$ to $B$. This gives an enrichment of the Connes--Higson asymptotic category over topological…

In this paper, we study the relation between topological orders and their gapped boundaries. We propose that the bulk for a given gapped boundary theory is unique. It is actually a consequence of a microscopic definition of a local…

We decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria…

We introduce and describe the $2$-category $\mathsf{Grt}_{\flat}$ of Grothendieck categories and flat morphisms between them. First, we show that the tensor product of locally presentable linear categories $\boxtimes$ restricts nicely to…

In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories…

We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…