Tangent bundle / vector space category and functors - View it on GitHub