9 Jan
1995
9 Jan
'95
8:02 a.m.
Referring to recent contibutions by Yetter and Kelly. As remarked by Kelly, the construction is straightforward. A paper strongly recommended to be read in this context is Lawvere's 'Generalized Metric Spaces ...". The material about composition of profunctors + construction of "free algebras" are to be found in my contribution "Basic category theory", chpt. 6, in the Handbook of Logic in Computer Science (Abramsky, Gabbay, Maibaum, eds.). Axel Poigne