Scatter and Glow, take 2
December 25, 2015
7:12 PM
In [file]:
Re-implement \beta1, c1, a1, deltaa1, deltaaa1, ca1, at the level of swinging relations.
Implement mm(ab,c) (meta-multiply, stitch) on A1co and verify properties: locality, meta-associativity.
Implement ct(a,b) (contract) and verify properties.
Extend the action of S[tail scattering, head scattering] to all of A1co.
Implement stitching and verify properties.