Construction. Tangent bundle of abstract manifold [009R]

We want to construct the analogue of the tangent bundle just for abstract manifolds this time.

Let be a k-dimensional smooth manifold with atlas . We define the tangent bundle as the dijoint union of all tangent spaces.

TODO: equip this with charts to make it into a manifold