Ehresmann connections are an important concept of differential geometry. In this talk, I will show how to define a good notion of Ehresmann connections in the context of tangent categories.
This is joint work with Geoff Cruttwell