Question 6.186.
Let \(K \perp K'\) be complementary and let \(C\) be a category which has \(K'\)-indexed colimits which are van Kampen. Is \(\Pp^K(C) = \Pp^{\all}_{K'}(C)\) necessarily a topos?
Higher Topos Theory Section 6.11: Topoi of parametrized objects
Question 6.186.
Let \(K \perp K'\) be complementary and let \(C\) be a category which has \(K'\)-indexed colimits which are van Kampen. Is \(\Pp^K(C) = \Pp^{\all}_{K'}(C)\) necessarily a topos?