nLab
Deligne-Lurie completeness theorem

Idea

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

Idea

The statement that generalizes the Deligne completeness theorem from topos theory to (∞,1)-topos theory.

Theorem

Deligne-Lurie completeness theorem

A hypercomplete (∞,1)-topos which is a locally coherent (∞,1)-topos has enough points.

(Lurie SpecSchm, theorem 4.1).

Last revised on February 10, 2019 at 04:12:07. See the history of this page for a list of all contributions to it.