A characterization of final functors between internal groupoids in exact categories
Category Theory
2017-11-30 v1
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.
Cite
@article{arxiv.1711.10747,
title = {A characterization of final functors between internal groupoids in exact categories},
author = {Alan S. Cigoli},
journal= {arXiv preprint arXiv:1711.10747},
year = {2017}
}