[[!redirects Grothendieck (infinity,1)-topos]] [[!redirects Grothendieck (infinity,1)-toposes]] [[!redirects Grothendieck (infinity,1)-topoi]] < [[nlab:Grothendieck (infinity,1)-topos]]