Definition 23.7.2 (\(\infty \)-Topos). An \(\infty \)-topos is a presentable \(\infty \)-category satisfying descent for all small colimits.
Generated from the authoritative LaTeX source.
Definition 23.7.2 (\(\infty \)-Topos). An \(\infty \)-topos is a presentable \(\infty \)-category satisfying descent for all small colimits.
Generated from the authoritative LaTeX source.