## A characterization of final functors between internal groupoids in exact categories

### Summary

This paper provides three characterizations of final functors between internal groupoids in an exact category (in the sense of Barr). In particular, it is proved that a functor between internal groupoids is final if and only if it is internally full and essentially surjective.

### Mathematics Subject Classification

18A22, 18A99, 18B40, 18D35

### Keywords/Phrases

exact category, internal groupoid, final functor, comprehensive factorization