nLab
totally infinity-connected (infinity,1)-topos

Context

(,1)(\infty,1)-Topos theory

Contents

Definition

A ∞-connected (∞,1)-topos

(ΠΔΓ):HGrpd (\Pi \dashv \Delta \dashv \Gamma) : \mathbf{H} \to \infty Grpd

is called strongly connected if Π\Pi preserves finite (∞,1)-limits.

Similarly for an nn-connected (n,1)(n,1)-topos.

For n=1n = 1 this yields the notion of totally connected topos.

and

Created on January 5, 2011 21:50:40 by Urs Schreiber (89.204.153.69)