A characterization of final functors between internal groupoids in exact categories
arXiv:1711.10747
Abstract
This paper provides several characterizations of final functors between internal groupoids in Barr-exact categories. In particular, it is proved that an internal functor between groupoids is final if and only if it is full and essentially surjective.