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.7: Coherence

Coherent does not imply compact

Warning 6.116.

An object $\(X\)$ being coherent does not imply that it is compact.

Topics in topos theory

Section 6.7

Coherence

Read this result in the continuous section

Theorem 6.114 Compactness coherent objects
Corollary 6.115 Locally n coherent compactly generated
Warning 6.116 Coherent does not imply compact
Remark 6.117 Coherence analogous to almost perfect
Theorem 6.118 Completeness theorem

PreviousLocally n coherent compactly generated NextCoherence analogous to almost perfect

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