Australian Category Seminar

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