Adjointness in Foundations, Dialectica 23 (1969)

by F W Lawvere