Metric spaces, generalized logic and closed categories. Rendiconti del Seminario Matematico e Fisico di (1973)

by F W Lawvere
Venue:Also Reprints in Theory and Applications of Categories 1:1–37