Talk:∞-topos

Latest comment: 6 years ago by DenisNardin in topic Untitled 2018 topic

Untitled 2018 topic

edit

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)Reply