Related papers: On Infinity Topoi

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely…

This paper extends Hopf-Galois theory to infinite field extensions and provides a natural definition of subextensions. For separable (possibly infinite) Hopf-Galois extensions, it provides a Galois correspondence. This correspondence also…

We give an explicit construction of the dependent product in an elementary topos, and a site-theoretic description for it in the case of a Grothendieck topos.

We study the realization problem of finite groups as the group of homotopy classes of self-homotopy equivalences of finite spaces. Let $G$ be a finite group. Using an infinite family of pairwise non weakly homotopic asymmetric spaces we…

We discuss topological versions of the closed graph theorem, where continuity is inferred from near continuity in tandem with suitable conditions on source or target spaces. We seek internal characterizations of spaces satisfying a closed…

Some assertions in harmonic analysis on the infinite dimensional torus are stated and their equivalence to Riemann hypothesis is proved.

A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…

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…

In this work a relation between topology and thermodynamical features of gravitational instantons is shown. The expression for the Euler characteristic, through the Gauss-Bonnet integral, and the one for the entropy of gravitational…

The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models extend to existentially closed geometric morphisms, such as…

We formulate gauge theories based on Leibniz(-Loday) algebras and uncover their underlying mathematical structure. Various special cases have been developed in the context of gauged supergravity and exceptional field theory. These are based…

We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain theory (including the inductive fixed point object and the…

This is a note on a local ergodic theorem for a symmetric exclusion process defined on an infinite tower of coverings, which is associated with a finitely generated residually finite amenable group.

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

This is the first part in a series in which sofic entropy theory is generalized to class-bijective extensions of sofic groupoids. Here we define topological and measure entropy and prove invariance. We also establish the variational…

Let $k$ be a field that is finitely generated over its prime field. In Grothendieck's anabelian letter to Faltings, he conjectured that sending a $k$-scheme to its \'{e}tale topos defines a fully faithful functor from the localization of…

We revisit the work of To\"en--Vezzosi and Lurie on Grothendieck topologies, using the new tools of acyclic classes and congruences. We introduce a notion of extended Grothendieck topology on any $\infty$-topos, and prove that the poset of…

We study idempotent analogs of topological tensor products in the sense of A. Grothendieck. The basic concepts and results are simulated on the algebraic level. This is one of a series of papers on idempotent functional analysis.

This paper constitutes a recent work using the constructions of a previous preprint alg-geom/9512006 to show that the functors geometric realisation and Poincar\'e $n$-groupoid induce an equivalence between the category of $n$-grouppoids…