An [[nLab:(infinity,1)-topos]] of [[nLab:infinity-stacks]] may be called a "Grothendieck (infinity,1)-topos" in analogy to how a [[nLab:topos]] of [[nLab:sheaves]] is called a _Grothendieck topos_, in contrast to the more general concept of [[nLab:elementary topos]]. See also at * [[nLab:elementary (infinity,1)-topos]] * [[model of type theory in an (infinity,1)-topos]] [[!redirects Grothendieck (infinity,1)-toposes]] [[!redirects Grothendieck (infinity,1)-topoi]]