nLab Deligne-Lurie completeness theorem

Idea

Context

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

(∞,1)-topos theory

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 09:12:07. See the history of this page for a list of all contributions to it.