Greetings, recently I have been working on a paper along with various packages in the Julia language to try to figure out the best foundations to unify differential geometry with geometric algebra.
This work is still in progress and not complete yet, but I’d like to open it up for discussion with enthusiasts.
This was also recently presented at JuliaCon 2019:
Specifically, I intend on discussing the foundational aspects of differential geometry and geometric algebra. In my paper, I have a few new conventions for notation and definitions that may be slightly different from what other experienced users of GA know.
While Grassmann.jl has a fairly complete implementation, the implementation of Leibniz.jl is still a prototype and I haven’t had time to make it full featured yet. I’d like to open the discussion about this approach to the foundations already. Please let me know if there is some aspect you would like to discuss about how I am setting up mathematical foundations.