On Bicategories of Relations and Pullback Spans |
| |
| Authors: | Jeanne Meisen |
| |
| Affiliation: | 1. Florida State University , Tallahassee, Florida, 32306;2. University of Missouri , Columbia, Missouri, 6520 |
| |
| 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: | |
|
|
