Un topos es una categoría que tiene las dos propiedades siguientes: