Related papers: A Theory of Elementary Higher Toposes
It is well-known in universal algebra that adding structure and equational axioms generates forgetful functors between varieties, and such functors all have left adjoints. The category of elementary doctrines provides a natural framework…
This paper exposes the language of geometric contexts and elementary schemes, which is a functorial formalism to study categories of geometric objects such as schemes, topological manifolds, differential manifolds, analytic manifolds, etc.…
As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…
We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define…
A notion of central importance in categorical topology is that of topological functor. A faithful functor E -> B is called topological if it admits cartesian liftings of all (possibly large) families of arrows; the basic example is the…
We generalize the notion of a bornology by omitting the condition that a one-point-subset is bounded and obtain a complete and co-complete generalization of the category of bornological coarse spaces. Then we imitate the construction of…
We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We…
We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of…
It has been shown by J.Funk, P.Hofstra and B.Steinberg that any Grothendieck topos T is endowed with a canonical group object, called its isotropy group, which acts functorially on every object of T. We show that this group is in fact the…
We introduce the compactness locus of a geometric functor between rigidly-compactly generated tensor-triangulated categories, and describe it for several examples arising in equivariant homotopy theory and algebraic geometry. It is a subset…
A 2-categorical generalisation of elementary topos is provided and some of the properties of the yoneda structure it generates are explored. Examples relevant to the globular approach to higher category theory are discussed. This paper also…
We relate closure operations for ideals and for submodules to non-flat Grothendieck topologies. We show how a Grothendieck topology on an affine scheme induces a closure operation in a natural way, and how to construct for a given closure…
We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories…
We introduce a pro-\'etale geometric object $D_\infty$ arising naturally from the tower of Artin-Schreier extensions in characteristic 2, equipped with a canonical endofunctor $O$ whose fixed points correspond to automorphic representations…
In this note a notion of generalized topological entropy for arbitrary subsets of the space of all sequences in a compact topological space is introduced. It is shown that for a continuous map on a compact space the generalized topological…
The notion of Grothendieck topos may be considered as a generalisation of that of topological space, one in which the points of the space may have non-trivial automorphisms. However, the analogy is not precise, since in a topological space,…
We introduce the notion of a higher covering diagram in a base $\infty$-category $\mathcal{C}$. The theory of higher covering diagrams in $\mathcal{C}$ will be shown to recover various descent conditions known from the $\infty$-categorical…
In the context of relative topos theory via stacks, we introduce the notion of existential fibred site and of existential topos of such a site. These notions allow us to develop relative topos theory in a way which naturally generalizes the…
We develop a categorical and algebro-geometric treatment of localization for cohomological theories endowed with an open--closed recollement. Starting from a class on a space whose restriction to the open complement vanishes, we show that…
$\infty$-category theory was originally developed in the context of classical homotopy theory using standard set theoretical assumptions, but has since been extended to a variety of mathematical foundations. One such successful effort,…