The dimension of the tangent bundle and the universality of the vertical lift

Florian Schwarz

This paper explores a new perspective on the universality of the vertical lift in tangent categories by presenting a categorification of the dimension of smooth manifolds. The univ…