Grothendieck (infinity,1)-topos

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