My burgeoning conjecture (as hinted at in a previous comment) is that all can be unified, transformed, and optimized for modern hardware under the matrix model

My burgeoning conjecture (as hinted at in a previous comment) is that all can be unified, transformed, and optimized for modern hardware under the matrix model of computation -- type theory, the lambda calculus, the actor model, neural nets, graph computing -- I'm starting to see a path to where all models are aligned across vectors of unity. Here are some the correspondences I've been looking at... * Graph algos in the lang of linear algebra now realized and encoded into GraphBLAS [1] * The three normed division algebras are unified under a complex Hilbert space [2] * Ascent sequences and the bijections discovered between four classes of combinatorial objects [3] * Dependent Types and Homotopy Type Theory [4] * Bruhat–Tits buildings, symmetry, and spatial decomposition [5] * Distributed lattices, topological encodings, and succinct representations [6] * Zonotopes and Matroids and Minkowski Sums [7] * Holographic associative memory and entanglement renormalization [8] [1] Graph Algorithms in the Language of Linear Algebra (Jeremy Kepner) http://www.mit.edu/~kepner/ http://www.mit.edu/~kepner/ Discussion: https://news.ycombinator.com/item?id=18099520 https://news.ycombinator.com/item?id=18099520 [2] Division Algebras and Quantum Theory (John Baez) http://math.ucr.edu/home/baez/rch.pdf http://math.ucr.edu/home/baez/rch.pdf [3] (2 + 2)-free posets, ascent sequences and pattern avoiding permutations [pdf] https://www.sciencedirect.com/science/article/pii/S0097316509001885/pdf https://www.sciencedirect.com/science/article/pii/S009731650... [4] Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities [pdf] https://www.cs.cmu.edu/~rwh/papers/cartesian/paper.pdf https://www.cs.cmu.edu/~rwh/papers/cartesian/paper.pdf [5] Bruhat–Tits buildings and p-adic Lie groups https://en.wikipedia.org/wiki/Building_(mathematics) https://en.wikipedia.org/wiki/Building_(mathematics) [6] Distributive lattices and Stone-space dualities https://en.wikipedia.org/wiki/Distributive_lattice#Representation_theory https://en.wikipedia.org/wiki/Distributive_lattice#Represent... [7] Solving Low-Dimensional Optimization Problems via Zonotope Vertex Enumeration [video] https://www.youtube.com/watch?v=NH_CpMYe3tw https://www.youtube.com/watch?v=NH_CpMYe3tw https://en.wikipedia.org/wiki/Zonohedron https://en.wikipedia.org/wiki/Zonohedron [8] Entanglement Renormalization (G Vidal) https://authors.library.caltech.edu/9242/1/VIDprl07.pdf?hovno=/ https://authors.library.caltech.edu/9242/1/VIDprl07.pdf?hovn... Holography https://en.wikipedia.org/wiki/Holographic_associative_memory https://en.wikipedia.org/wiki/Holographic_associative_memory Google Scholar: https://scholar.google.com/scholar?q=related:Yi-GtarGxh0J:scholar.google.com/&scioq=entanglement+renormalization+and+holography&hl=en&as_sdt=0,44&as_vis=1 https://scholar.google.com/scholar?q=related:Yi-GtarGxh0J:sc...