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...

PDF Abstract
No code implementations yet. Submit your code now

Categories


Category Theory