(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
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 be a ∞-connected locally ∞-connected site; we say it is a strongly -connected site if it is also a cosifted (∞,1)-category.
If is in addition an ∞-local site then it is an ∞-cohesive site.
If is a strongly -connected site, then the (∞,1)-sheaf (∞,1)-topos over it is a strongly ∞-connected (∞,1)-topos.
We need to check that the fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos-functor preserves finite (∞,1)-products.
By the discussion at ∞-connected site we have that is given by the (∞,1)-colimit (∞,1)-functor . On the opposite and therefore sifted (∞,1)-category these preserve finite (∞,1)-products.
and
Last revised on January 6, 2011 at 11:22:10. See the history of this page for a list of all contributions to it.