Talk:∞-topos

Untitled 2018 topic

This page needs a lot of work. I removed the biggest mistakes from the article, but we need to add at least a discussion of the following topics:

• Hypercompleteness and the failure of Whitehead's theorem;
• Relationship with n-topoi for 0<=n<∞;
• Notion of sheaf on a topos with value in an ∞-category with small limits;
• A brief history of the subject (e.g. Charles Rezk's model topoi);
• Examples of ∞-topoi not arising from Grothendieck topologies (e.g. n-excisive functors from finite pointed spaces to spaces).

I'll see if I can work on this article for a while in the next few days. DenisNardin (talk) 08:16, 26 April 2018 (UTC)