Homotopy Type Theory
Grothendieck (infinity,1)-topos (changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

An (infinity,1)-topos of infinity-stacks may be called a “Grothendieck (infinity,1)-topos” in analogy to how a topos of sheaves is called a Grothendieck topos, in contrast to the more general concept of elementary topos.

See also at

Created on October 22, 2014 at 03:08:53. See the history of this page for a list of all contributions to it.