nLab
totally infinity-connected site

Context

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

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

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

Revised on January 6, 2011 01:02:38 by Urs Schreiber (89.204.153.69)