Distributors and the comprehensive factorization system for internal groupoids

Abstract

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). Revised version.

References in corpus (1)

• A characterization of final functors between internal groupoids in exact categories

Cited by in corpus (1)

• Fibred categorical theory of obstruction and classification of morphisms