strongly infinity-connected (infinity,1)-topos
A locally ∞-connected (∞,1)-topos
is called strongly connected if preserves finite (∞,1)-products (hence in particular the terminal object, which makes it also an ∞-connected (∞,1)-topos).
Similarly for an -connected -topos.
For this yields the notion of strongly connected topos.
If in addition is a local (∞,1)-topos then it is a cohesive (∞,1)-topos.
Revised on January 8, 2011 18:33:13
by Urs Schreiber