Warning 6.183.
This relation is not symmetric: \(K\) being complementary to \(K'\) does not imply that \(K'\) is complementary to \(K\).
Higher Topos Theory Section 6.11: Topoi of parametrized objects
Warning 6.183.
This relation is not symmetric: \(K\) being complementary to \(K'\) does not imply that \(K'\) is complementary to \(K\).