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.