Jump to content

Talk:∞-topos

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]