Proof display

Page layout

Show navigation panel

View the entire manuscript as a PDF 📖 View the entire manuscript as a PDF

← Books & notes

Higher Topos Theory Section 6.9: Makkai completeness

Recover topos from category of points

Question 6.134.

Can we recover $\(T\)$ from its category of points?

Topics in topos theory

Section 6.9

Makkai completeness

Read this result in the continuous section

Question 6.134 Recover topos from category of points
Definition 6.135 Ultracategory
Theorem 6.136 Makkai completeness
Warning 6.137 The reference for Makkai completeness is classical
Remark 6.138 Condensed and ultra

NextUltracategory

Generated from the authoritative LaTeX source, including numbered results, cross-references, bibliography, diagrams, and nested proof details.