Originally published as:
Rendiconti del Seminario Matematico e Fisico di Milano,
XLIII (1973), 135-166.
Keywords: Metric spaces, enriched categories, logic
2000 MSC: 18D20
Republished in:
Reprints in Theory and Applications of Categories,
No. 1 (2002) pp 1-37