homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
For an (∞,1)-topos and , the collection of n-category object in , hence of (∞,n+1)-sheaves on is an -localic -topos.
See at Internal category object in an (∞,1)-category – Iterated internalization.
Last revised on March 6, 2023 at 05:13:36. See the history of this page for a list of all contributions to it.