sheaf and topos theory
(∞,1)-category of (∞,1)-presheaves
localization of an (∞,1)-category
(∞,1)-category of (∞,1)-sheaves
groupoid object in an (∞,1)-topos
locally n-connected (n,1)-topos
locally ∞-connected (∞,1)-topos, ∞-connected (∞,1)-topos
models for ∞-stack (∞,1)-toposes
model structure on functors
model structure on simplicial presheaves
descent for simplicial presheaves
descent for presheaves with values in strict ∞-groupoids
structures in a cohesive (∞,1)-topos
shape / coshape
fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos/of a locally ∞-connected (∞,1)-topos
categorical/geometric homotopy groups
Edit this sidebar
A strongly ∞-connected site is a site satisfying sufficient conditions to make the (∞,1)-sheaf (∞,1)-topos over it a strongly ∞-connected (∞,1)-topos.
Let C be a ∞-connected locally ∞-connected site; we say it is a strongly ∞-connected site if it is also a cosifted (∞,1)-category.
If C is in addition an ∞-local site then it is an ∞-cohesive site.
If C is a strongly ∞-connected site, then the (∞,1)-sheaf (∞,1)-topos Sh (∞,1)(C) over it is a strongly ∞-connected (∞,1)-topos.
We need to check that the fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos-functor Π:Sh (∞,1)(C)→∞Grpd preserves finite (∞,1)-products.
By the discussion at ∞-connected site we have that Π is given by the (∞,1)-colimit (∞,1)-functor lim →:Func(C op,∞Grpd)→∞Grpd. On the opposite and therefore sifted (∞,1)-category C op these preserve finite (∞,1)-products.
locally connected topos / locally ∞-connected (∞,1)-topos
connected topos / ∞-connected (∞,1)-topos
strongly connected topos / strongly ∞-connected (∞,1)-topos
totally connected topos / totally ∞-connected (∞,1)-topos
local topos / local (∞,1)-topos.
cohesive topos / cohesive (∞,1)-topos
locally connected site / locally ∞-connected site
connected site / ∞-connected site
strongly connected site / strongly ∞-connected site
totally connected site / totally ∞-connected site
local site, ∞-local site
cohesive site, ∞-cohesive site