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

Claim: Our space [math]\displaystyle{ \mathcal{A} }[/math] is a co-commutative co-algebra (under the co-multiplication and co-identity as defined, both of which are analogous to the polynomial example).