A characterization of final functors between internal groupoids in exact categories

29 Nov 2017 · Cigoli Alan S. ·

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.