Logical opens of exponential objects Oscar P. Bruno (1985) Cahiers de Topologie et Géométrie Différentielle Catégoriques