I’m surprised there were not more responses to this.
We could imagine expanding this to a large-scale model of economic production in some domain, with thousands of dimensions and exponentially many possible paths. As before, it would be useful to have standard tools to compress “equivalent” paths through the state graph.
I laughed out loud when I read this. That’s some chutzpah and a half. But also like… is someone working on this?
I wondered if there was a standard tool for generating category-theoretic data stores and queries and it seems like maybe “Easik” is a tool aiming towards this, which might make Robert Rosebrugh the guy?
I’m surprised there were not more responses to this.
I laughed out loud when I read this. That’s some chutzpah and a half. But also like… is someone working on this?
I wondered if there was a standard tool for generating category-theoretic data stores and queries and it seems like maybe “Easik” is a tool aiming towards this, which might make Robert Rosebrugh the guy?