8 Mar
1993
8 Mar
'93
11:15 a.m.
Can anyone recommend good introductions to enriched category theory? I have Kelly's "Basic concepts of enriched category theory", but would like to know about work after 1981 too.
Vaughan Pratt mentioned Lawvere's "generalized metric spaces". I would recommend Lawvere's paper "Metric spaces, generalized logic, and closed categories" (pp. 135-166 in Rendiconti del Seminario Matematico e Fisico di Milano XLIII (1973)). It is extremely fertile, and I think it would yield essential parts of its meaning even to people without much experience of enriched categories. Steve Vickers. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++