This article is a review of what could be considered the basic mathematics of Einstein−Cartan theory. We discuss the formalism of principal bundles, principal connections, curvature forms, gauge fields, torsion form, and Bianchi identities, and eventually, we will end up with Einstein−Cartan−Sciama−Kibble field equations and conservation laws in their implicit formulation.
