Algebraic aspects of topos theory J. Lambek; P. J. Scott — 1981 Cahiers de Topologie et Géométrie Différentielle Catégoriques