# 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.
• CommentAuthorMike Shulman
• CommentTimeJun 9th 2019

Has anyone written down an analogue for $(\infty,1)$-toposes of the (hyperconnected, localic) factorization system for 1-toposes? In particular, is it known that $n$-localic $(\infty,1)$-toposes form a reflective subcategory of all $(\infty,1)$-toposes?