DISTRIBUTORS AND THE COMPREHENSIVE FACTORIZATION SYSTEM FOR INTERNAL GROUPOIDS

Abstract

In this note we prove that distributors between groupoids in a Barr-exact category epsilon form the bicategory of relations relative to the comprehensive factorization system in Gpd(epsilon). The case epsilon = Set is of special interest.