I agree, it's a high priority to build discrete versions of differential geometry, calculus, PDEs and so on. That's what I'm trying to do