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 at 21:40:15. See the history of this page for a list of all contributions to it.