Homotopy Type Theory Grothendieck (infinity,1)-topos > history (Rev #2, changes)

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

An < Grothendieck (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

Revision on June 9, 2022 at 06:57:11 by Anonymous?. See the history of this page for a list of all contributions to it.