Books & notes

Higher Topos Theory Section 6.11: Topoi of parametrized objects

When parametrized objects form topos

Question 6.168.

Given a topos \(T\) and a category \(C\), when is the \(T\)-parametrization \(\int_T C\) a topos?