On Bicategories of Relations and Pullback Spans

1 January 1974

journal article
research article
Published by Taylor & Francis in Communications in Algebra

Vol. 1 (5) , 377-401
https://doi.org/10.1080/00927877408548625

Abstract

In this paper, we study relations in general categories. Our approach requires that these must have finite products and factorization systems. Klein [5] has obtained a condition for composition of relations to be strictly associative. Here we consider the possibility that associativity only holds up to a coherent isomorphism, in other words that the relations are the morphisms of a bicategory in the sense of Bénabou [2].

Keywords

This publication has 7 references indexed in Scilit:

Exact categories
Lecture Notes in Mathematics, 1971
Relations in categories
Illinois Journal of Mathematics, 1970
Introduction to bicategories
Published by Springer Nature ,1967
Correspondences and Exact Squares
Published by Springer Nature ,1966
Korrespondenzen in abelschen Kategorien
Mathematische Annalen, 1962
AN ALGEBRA OF ADDITIVE RELATIONS
Proceedings of the National Academy of Sciences, 1961
Goursats Theorem and the Zassenhaus Lemma
Canadian Journal of Mathematics, 1958