La caracterización estaba hecha por medio de categorías 'con suficientes colímites', y aplicado a lo qué ahora se llama un topos de Grothendieck.