lSpace The Tangent Functor Monad and Foliations (history)

January 6, 2014