• Corpus ID: 229340123

# The Pro-\'Etale Topos as a Category of Pyknotic Presheaves

@inproceedings{Wolf2020ThePT,
title={The Pro-\'Etale Topos as a Category of Pyknotic Presheaves},
author={Sebastian Johannes Wolf},
year={2020}
}
• S. Wolf
• Published 18 December 2020
• Mathematics
. In this paper we will show that for a coherent scheme 𝑋 the hypercomplete pro-étale ∞ -topos, as introduced by Bhatt and Scholze, is equivalent to the category of con- tinuous representations of the Galois category Gal ( 𝑋 ) of 𝑋 with values in the ∞ –category of pyknotic spaces. In particular this proves that internally to pyknotic spaces, the hyper- complete pro-étale ∞ -topos of 𝑋 is a category of presheaves.
2 Citations

### Yoneda's lemma for internal higher categories

. We develop some basic concepts in the theory of higher categories internal to an arbitrary ∞ topos. We deﬁne internal left and right ﬁbrations and prove a version of the Grothendieck construction

### Constructible sheaves on schemes and a categorical K\"unneth formula

• Mathematics
• 2020
We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in condensed rings. We use it to prove a Künneth-type equivalence of derived categories of lisse and

## References

SHOWING 1-10 OF 16 REFERENCES

### Pyknotic objects, I

• Basic notions
• 2019

### Exodromy

• Mathematics
• 2018
Let X be a scheme. Let Gal(X) be the topological category whose objects are geometric points of X and whose morphisms are specialisations thereof. If X is a scheme of finite type over a finitely

### (Preprint)

• Medicine
• 2018
CliniPup, an SGH aimed at reducing perioperative anxiety and pain in children undergoing ambulatory surgery was developed to incorporate scientific evidence base from a structured literature review, realistic content collected during ethnographic research such as expert interviews, and explicit pedagogical objectives from scientific literature.

### Pyknotic objects, I. Basic notions

• Mathematics
• 2019
Pyknotic objects are (hyper)sheaves on the site of compacta. These provide a convenient way to do algebra and homotopy theory with additional topological information present. This appears, for

### Lax colimits and free fibrations in ∞-categories

• Mathematics
• 2017
We define and discuss lax and weighted colimits of diagrams in ∞-categories and show that the coCartesian fibration corresponding to a functor is given by its lax colimit. A key ingredient, of

### Higher Algebra

AbstractTHIS new “Higher Algebra” will be examined with great interest by all teachers and serious students of mathematics. A book of this type is certainly needed at the present time, and the one

### A spectrum-level Hodge filtration on topological Hochschild homology

We define a functorial spectrum-level filtration on the topological Hochschild homology of any commutative ring spectrum R, and more generally the factorization homology $$R \otimes X$$R⊗X for any

### The pro-\'etale topology for schemes

• Mathematics
• 2013
We give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental

### Higher Topos Theory

This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the

### Ultracategories

• Preprint available at www.math.harvard.edu/ lurie/papers/Conceptual.pdf.
• 2018