Categorical aspects of the classical Ascoli theorems John W. Gray — 1981 Cahiers de Topologie et Géométrie Différentielle Catégoriques
The existence and construction of Lax limits John W. Gray — 1980 Cahiers de Topologie et Géométrie Différentielle Catégoriques