Related papers: A Theory of Elementary Higher Toposes

We introduce partially lax limits of infinity-categories, which interpolate between ordinary limits and lax limits. Most naturally occurring examples of lax limits are only partially lax; we give examples arising from enriched categories…

In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…

The notion of entropy appears in many fields and this paper is a survey about entropies in several branches of Mathematics. We are mainly concerned with the topological and the algebraic entropy in the context of continuous endomorphisms of…

Using morphic cohomology, we produce a sequence of conjectures, called morphic conjectures, which terminates at the Grothendieck standard conjecture A. A refinement of Hodge structures is given, and with the assumption of morphic…

In this paper we develop the theory of topological categories over a base category, that is, a theory of topological functors. Our notion of topological functor is similar to (but not the same) the existing notions in the literature (see…

We compare the classifying anima of two natural condensed $\infty$-categories associated to a coherent $\infty$-topos. One from our work with Barwick and Glasman on exit-path categories in algebraic geometry, and the other from Lurie's work…

We show that a trivial case of Janelidze's categorical Galois theorem can be used as a key step in the proof of Joyal and Tierney's result on the representation of Grothendieck toposes as localic groupoids. We also show that this trivial…

In this note we show how two fundamental results in Topos theory follow by repeated use of Yoneda's Lemma, the formalism of natural transformations and very basic category theory. In Lemma 9.4, we show the fundamental result SGA4 EXPOSE IV…

We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring…

Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…

We introduce a general categorical framework for finiteness conditions that unifies classical notions such as Noetherianness, Artinianness, and various forms of topological compactness. This is achieved through the concept of…

We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…

We identify the class of elementary groups: the smallest class of totally disconnected locally compact second countable (t.d.l.c.s.c.) groups that contains the profinite groups and the discrete groups, is closed under group extensions of…

In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formulas from context as subobjects in a specific category, e.g.,…

The language of homotopy type theory has proved to be appropriate as an internal language for various higher toposes, for example with Synthetic Algebraic Geometry for the Zariski topos. In this paper we apply such techniques to the higher…

Stefanich generalized the notion of (locally) presentable $(\infty, 1)$-category to the notion of presentable $(\infty, n)$-category. We give a new description based on the new notion of $\kappa$-compactly generated $(\infty, n)$-category,…

We give a characterizations of toposes which admit a generating family of objects which are internally cardinal finite (i.e. Kuratowski finite and decidable) in terms of "topological" conditions. The central result is that, constructively,…

We present a general method for deciding whether a Grothendieck topos satisfies De Morgan's law (resp. the law of excluded middle) or not; applications to the theory of classifying toposes follow. Specifically, we obtain a syntactic…

Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite type $K$-scheme to its \'etale topos is fully faithful after localizing at the class of universal homeomorphisms. This generalizes a result of Voevodsky, who proved…