#
nLab

totally infinity-connected (infinity,1)-topos

### Context

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

# Contents

## Definition

A ∞-connected (∞,1)-topos

$(\Pi \dashv \Delta \dashv \Gamma) : \mathbf{H} \to \infty Grpd$

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

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

For $n = 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.