Notes for AKT-091020/0:05:39

Def: a universal finite type invariant is an invariant $Z: \mathcal{K} \rightarrow \mathcal{A}$ s.t. for $n$-singular $K$, $Z(K) = D_K +$ diagrams of higher degree. (Note that a universal finite type invariant is not an finite type invariant)