Assumptions: groupoid
Conclusions: locally cartesian closed
Proof: Every slice category is a trivial category.