Distributors and the comprehensive factorization system for internal groupoids

Giuseppe Metere

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

TAC Home