A categorical proof of the equivalence of local compactness and exponentiability in locale theory Christopher F. Townsend — 2006 Cahiers de Topologie et Géométrie Différentielle Catégoriques