Metric spaces, generalized logic, and closed (1974)

by F William Lawvere