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