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.11: Topoi of parametrized objects

Locus

Definition 6.169.

A locus is an accessible category with pullbacks and van Kampen weakly contractible colimits.

Topics in topos theory

Section 6.11

Topoi of parametrized objects

Read this result in the continuous section

Proposition 6.167 T-parametrized objects bicartesian fibration
Question 6.168 When parametrized objects form topos
Definition 6.169 Locus
Lemma 6.170 Conservative criterion for locus
Corollary 6.171 Fibers of loci are loci

PreviousWhen parametrized objects form topos NextConservative criterion for locus

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