Transfinite limits in topos theory
-- Moritz Kerz, February 20, 2015
We explain a variant of the pro-étale topology of
Bhatt and Scholze which applies to general coherent topoi. The
central idea is to make transfinite composition preserve
epimorphisms by enlarging the topos in a universal way.