El formalismo de Cartan es un acercamiento alternativo a la derivada covariante y la curvatura, con las formas diferenciales y los marcos.