Diagonal arguments and Cartesian closed categories, in Category theory, homology theory and their applications (1969)

by W Lawvere