3 ms·

Any papers cover this?

• zmgsabst 5y ago
  None published; I’m working on a white paper about type division in the abstract case this quarter, once I finish up the second one on shape algebras. Type division is like convolution from ML, which is why we can recognize “shapes of shapes” and undo the product structure. (And arguably, another avenue towards arriving at the manifold hypothesis.) I’m currently working on the “easy” direction of encoding the type statements to matrices, with the hope most steps are reversible. (So far, so good.) Still rough white paper: https://www.zmgsabstract.com/whitepapers/shapes-as-digital-images https://www.zmgsabstract.com/whitepapers/shapes-as-digital-i... GitHub repo for encoding type theory models, still VERY early: https://github.com/zmgsabstract/mathengine https://github.com/zmgsabstract/mathengine