不変量
同相の図形が共通に持つ特徴量
例
境界 #??
絡み目全体からなる集合からある集合$ Iへの写像$ f:\{絡み目\}\to Iのこと
互いにイソトピックな絡み目$ L,L'は、$ f(L)=f(L')の関係になる
タングルの圏の関手になる
例 ref 『圏論の歩き方』.icon p.40
絡み目$ Lの連結部分の個数を表現する不変量$ s:\{絡み目\}→\mathbb{N}は
https://gyazo.com/e51cb62bed7807bc2c231d1e334bd81c
参考
『圏論の歩き方』 3章