Adjointness in foundations, with author commentary

F. William Lawvere

Originally published in:
Dialectica, 23 (1969), used by permission of Blackwell Publishing.

2000 MSC: 00A30, 14F20, 18B25, 18B30, 18B40, 55U40, 81P05

Keywords: Formal-conceptual duality, cartesian-closed categories, algebraic logic, globalized Galois connections

Republished in:
Reprints in Theory and Applications of Categories, No. 16 (2006), pp 1-16 (revised 2006-10-30)