Connections in tangent categories

J.R.B. Cockett and G.S.H. Cruttwell

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: Tangent categories, connections

2010 MSC: 18D99, 53B05, 53B15, 51K10

Theory and Applications of Categories, Vol. 32, 2017, No. 26, pp 835-888.

Published 2017-07-31.

TAC Home