# nLab model topos

model category

## Model structures

for ∞-groupoids

### for $(\infty,1)$-sheaves / $\infty$-stacks

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

(∞,1)-topos theory

## Constructions

structures in a cohesive (∞,1)-topos

# Contents

## Idea

A model topos is a model category that presents an (∞,1)-topos.

###### Definition

A model category $\mathcal{C}$ is a model topos if there is a simplicial site $K$ and a Quillen equivalence $\mathcal{C} \simeq sPSh(K)_{loc}$ to the local model structure on sSet-presheaves over $K$.

This appears as Rezk, 6.1.

Locally presentable categories: Cocomplete possibly-large categories generated under filtered colimits by small generators under small relations. Equivalently, accessible localizations of free cocompletions. Accessible categories omit the cocompleteness requirement; toposes add the requirement of a left exact localization.

## References

Created on October 15, 2012 17:05:45 by Urs Schreiber (82.113.99.246)