Implication Details
Claim: If a category is a groupoid, then it is locally cartesian closed.
Proof: Every slice category is a trivial category.
Claim: If a category is a groupoid, then it is locally cartesian closed.
Proof: Every slice category is a trivial category.