> a substrate that such data structures may emerge from, but without a rigid presumption of how they ought to form
Are there Math theorems that "proves" this sort of "highly abstract" level of designs? Are there Academics working on this? or is this uncharted territory?