Post #2057059
2026-04-09 16:26 UTC
@highergeometer I've been building and exploring coding infrastructure/tools around your goal of "bring higher (i.e. categorified) geometry down to earth to the point that physicists can do routine concrete calculations with it"
I obviously don't have the domain knowledge from physics so at best I can only showcase it for computer graphics but I'd love your thoughts of this is along the lines of what your thinking (imagine someone with actual math expertise combined with my programming skills because I can automate my program into tools but can't magically imagine things from a physicists/geometer's perspective):
https://ikrima.github.io/topos.noether/x/descent-part3-gaussian-descent.html
Replies (1)
-
@highergeometer@mathstodon.xyz 2026-04-10 02:05
@mathemagical@mathstodon.xyz I'd definitely like to update the decade-plus old mini prototype that was created for me by someone with actual coding skills. Here's a screenshot of a single frame of a pre-calculated set of data that can be animated (you see here the trace of the values of a path-valued function as the argument follows a loop in the domain). Ideally one could have not precomputed data, but the actual function encoded in the back end and the user can drive the visualisation through a 5d space.