New Shape Opens ‘Wormhole’ Between Numbers and Geometry
It looks similar to Homotopy Type Theory, which also attempts to connect seemingly unrelated fields of mathematics into one.<p>I wonder if there’s a generic name for these things. Unifying theories? Category theory? We don’t tend to see serious attempts outside of mathematics and physics, which I believe is a missed opportunity.<p>So many fields seem to be fairly homomorphic, yet very few people seem to notice. For example, electricity transmission, water distribution, telecommunication, transportation networks, and electronic circuits are pretty much identical yet use completely distinct vocabularies. The same is true for apps and multimedia (movie, tv, book, radio, album, game, newspaper, magazine, phone) which first appear to be discrete concepts, but actually exist on a continuous spectrum.<p>I believe that the complexity of today’s world is merely magnified by our choice of words. A semantic refactoring might just be the best way to improve humanity’s productivity.