A characterization of final functors between internal groupoids in exact categories

2017/11/29 by Cigoli, Alan S.
#Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/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.

Related

• Complete internal categories
• The snail lemma for internal groupoids
• Analytic functors between presheaf categories over groupoids
• On fibrations between internal groupoids
• On 2-final 2-functors