Corollary 6.172.
If \(C\) is a locus, then all slices \(C_{/X}\) and \(C_{X/}\) are loci.
Proof
Note that \(\Ar(C)\) is a locus, so the claim follows from the previous corollary.
Higher Topos Theory Section 6.11: Topoi of parametrized objects
Corollary 6.172.
If \(C\) is a locus, then all slices \(C_{/X}\) and \(C_{X/}\) are loci.