In this note we prove that distributors between groupoids in a Barr-exact category E form the bicategory of relations relative to the comprehensive factorization system in Gpd(E). The case E = Set is of special interest.
Keywords: distributor, profunctor, factorization system, internal groupoid
2010 MSC: 18A32,20L05
Theory and Applications of Categories, Vol. 34, 2019, No. 5, pp 109-120.
Published 2019-02-26.
http://www.tac.mta.ca/tac/volumes/34/5/34-05.pdf
Revised 2019-05-14. Previous version at
http://www.tac.mta.ca/tac/volumes/34/5/34-05a.pdf