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)