The free tangent category on an object with affine connection

Richard Garner – 7 August 2019

In Steve's talk of 31 July, mention was made of Poon Leung's result describing the free tangent category on an object---as a certain category of Weil algebras. In this talk, we sketch a description of the free tangent category on an object with an affine connection---as the Lawvere theory generated by a certain symmetric operad.

Back