Corollary 6.87. ([Lurie 2017, Proposition A.1.8])
A topos \(T\) is essential if and only if it is locally of constant shape.
References
- Jacob Lurie. Higher algebra. https://www.math.ias.edu/~lurie/papers/HA.pdf. 2017.
Higher Topos Theory Section 6.6: Essential morphisms and shape theory
Corollary 6.87. ([Lurie 2017, Proposition A.1.8])
A topos \(T\) is essential if and only if it is locally of constant shape.