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
Reprints in Theory and Applications of Categories, No. 16 (2006), pp 1-16 (revised 2006-10-30)
Version originally republished 2006-05-21 at:
TAC Reprints Home