Assumptions: essentially discrete
Conclusions: groupoid, thin
This is an equivalence.
Reason: This is trivial.