Corollary 5.2.3. Let be an -topos and let be an integer. Every admits a unique -delooping.
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3
Corollary 5.2.3. Let be an -topos and let be an integer. Every admits a unique -delooping.
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3