Notes for AKT-090924-2/0:24:38

Claim: our space $A$ is a co-commutative co-algebra (under the co-multiplication and co-identity as defined, both are analogous to the polynomial example)