DirectSum (julia): Tangent bundle / vector space category and functors
Keywords: differential-geometry|category-theory|linear-algebra|abstract-algebra|type-system|manifold|manifolds|tensor-algebra|math|tensors