Metric spaces, generalized logic and closed categories

F. W. Lawvere

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

http://www.tac.mta.ca/tac/reprints/articles/1/tr1.pdf

TAC Reprints Home