zmgsabst

144 ms·

1. 2131.▲
   by 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 shape
2. 2132.▲
   by zmgsabst 5y ago

   Naively, it sounds like the same problem — you’d want some kind of sheaf on your data to evaluate rules. Detecting routes sounds like a persistent homology problem — and then you’re detecting flow across that inferred structure. I think Mic
3. 2133.▲
   by zmgsabst 5y ago

   Can you clarify a little bit on what you mean by your question? One area of research is extracting an effective type theory from data that is viewed as a semantic model, eg sensor data of a phenomenon would lead to a type theory describing