nLab totally infinity-connected site

Redirected from "totally ∞-connected site".
Contents

Context

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

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Idea

A totally \infty-connected site is a site satisfying sufficient conditions to make the (∞,1)-sheaf (∞,1)-topos over it a totally ∞-connected (∞,1)-topos.

Definition

Proposition

Let CC be a locally and globally ∞-connected site; we say it is a strongly \infty-connected site if it is also a cofiltered (∞,1)-category.

Properties

Proposition

If CC is a totally \infty-connected site, then the (∞,1)-sheaf (∞,1)-topos Sh (,1)(C)Sh_{(\infty,1)}(C) over it is a totally ∞-connected (∞,1)-topos.

Proof

We need to check that the fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos-functor Π:Sh (,1)(C)Grpd\Pi : Sh_{(\infty,1)}(C) \to \infty Grpd preserves finite (∞,1)-limits.

By the discussion at ∞-connected site we have that Π\Pi is given by the (∞,1)-colimit (∞,1)-functor lim :Func(C op,Grpd)Grpd\lim_\to : Func(C^{op}, \infty Grpd) \to \infty Grpd. On the opposite and therefore filtered (∞,1)-category C opC^{op} these preserve finite (∞,1)-limits.

Examples

and

Last revised on January 6, 2011 at 01:02:38. See the history of this page for a list of all contributions to it.