When is Ω a cogenerator in a topos ? Francis Borceux (1975) Cahiers de Topologie et Géométrie Différentielle Catégoriques