Distributors and the comprehensive factorization system for internal groupoids
Category Theory
2019-06-11 v3
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.
Cite
@article{arxiv.1701.05139,
title = {Distributors and the comprehensive factorization system for internal groupoids},
author = {Giuseppe Metere},
journal= {arXiv preprint arXiv:1701.05139},
year = {2019}
}