Continuously variable sets: algebraic geometry = geometric logic (1975)

by F W Lawvere
Venue:Logic Colloquium ’73