# nLab (2,1)-site

Contents

### Context

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

(∞,1)-topos theory

## Constructions

structures in a cohesive (∞,1)-topos

# Contents

## Definition

A $(2,1)$-site is an (∞,1)-site. whose underlying (∞,1)-category is a (2,1)-category. Equivalently, it is a 2-site whose underlying 2-category is a (2,1)-category.

## Properties

The (2,1)-category of (2,1)-sheaves on a (2,1)-site is a Grothendieck-(2,1)-topos.

The (∞,1)-category of (∞,1)-sheaves on a $(2,1)$-site is an 2-localic (∞,1)-topos.

Last revised on September 16, 2012 at 00:35:23. See the history of this page for a list of all contributions to it.