Si ahora se toma el límite (en el sentido de la teoría de las categorías) sobre todos los espacios formula_25, se obtiene un resultado acerca de formula_1 - puesto que formula_27 actúa en formula_18.