Continuous families : categorical aspects David B. Lever (1983) Cahiers de Topologie et Géométrie Différentielle Catégoriques Similarity:
Cartesian closed categories, quasitopoi and topological universes Jiří Adámek, Horst Herrlich (1986) Commentationes Mathematicae Universitatis Carolinae Similarity: