Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeDec 9th 2010
• (edited Dec 9th 2010)

I brushed up the entry power a bit: wrote an Idea-section, created an Examples-section etc.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeOct 18th 2021

I have added (here) a section “Powering of $\infty$-toposes over $\infty$-groupoids” with some basic statements and their elementary proofs.

This is for completeness, as other entries keep trying to refer to this without having a good page to point to (e.g. categorical homotopy groups in an (infinity,1)-topos).

But also, this deserves to be stated elsewhere, such as at (infinity,1)-topos. So I think I’ll make it an !include-page powering of ∞-toposes over ∞-groupoids – section.