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.10: Compactly assembled categories and exponentiability

Points of exponential

Remark 6.152.

We have $\Pt(S^T) \simeq \Geom(T,S)$ .

Topics in topos theory

Section 6.10

Compactly assembled categories and exponentiability

Read this result in the continuous section

Lemma 6.150 Classifying topos fully faithful
Observation 6.151 Exponential 2 categorical
Remark 6.152 Points of exponential
Definition 6.153 Exponentiable topos
Lemma 6.154 Compact assembly and tensor products

PreviousExponential 2 categorical NextExponentiable topos

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