同相の図形が共通に持つ特徴量

例

境界 #??

絡み目全体からなる集合からある集合Iへの写像f:\{絡み目\}\to Iのこと

互いにイソトピックな絡み目L,L'は、f(L)=f(L')の関係になる

タングルの圏の関手になる

例 ref p.40

絡み目Lの連結部分の個数を表現する不変量s:\{絡み目\}→\mathbb{N}は

参考

『圏論の歩き方』 3章