Metric spaces, generalized logic, and closed categories (1974)

by F William Lawvere