abstract-algebra applied-category-theory category-theory compositionality functor linear-algebra manifold manifolds math tensor-algebra tensors type-system

applied-category-theory category-theory compositionality julia string-diagrams wiring-diagrams

applied-category-theory category-theory compositionality functor linear-algebra manifold manifolds math tensor tensor-algebra type-system

applied-category-theory calculus clifford-algebras compositionality computational-geometry computational-topology curvature differential-geometry discrete-exterior-calculus general-relativity geometric-algebra lie-algebra lie-groups manifolds mesh-processing non-euclidean-geometry riemannian-geometry tensor tensor-algebra topology