Connections in Tangent Categories
Category Theory
2017-07-28 v2 Differential Geometry
Abstract
Connections are an important tool of differential geometry. This paper investigates their definition and structure in the abstract setting of tangent categories. At this level of abstraction we derive several classically important results about connections, including the Bianchi identities, identities for curvature and torsion, almost complex structure, and parallel transport.
Keywords
Cite
@article{arxiv.1610.08774,
title = {Connections in Tangent Categories},
author = {J. R. B. Cockett and G. S. H. Cruttwell},
journal= {arXiv preprint arXiv:1610.08774},
year = {2017}
}
Comments
This version fixes a number of typos and small errors in an earlier version. To be published in Theory and Applications of Categories