Notes for AKT-091001-1/0:01:51

Reminder from last time:

Space of knots ${\mathcal {K}}$; space of finite type knot invariants ${\mathcal {V}}$; weight systems of finite type invariants ${\mathcal {W}}={\mathcal {A}}^{*}$ where ${\mathcal {A}}={\mathcal {D}}/4T$

We proved that ${\mathcal {A}}$ is a graded commutative co-commutative bi-algebra.