# 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
• CommentTimeOct 18th 2021
• (edited Oct 18th 2021)

I have touched the first paragraphs of the Definition section (here) for formatting, and added more explicit pointer to Powering of $\infty$-toposes over $\infty$-groupoids.

More could be done to improved this old entry…