タングル
from
『圏論の歩き方』
tangle
『圏論の歩き方』.icon
p.42
よくわからんすぎる
mrsekut.icon
https://ja.wikipedia.org/wiki/タングル
タングル同士は合成できる
基本タングル
5種類のprimitiveなタングル
任意のタングルは、基本タングルの縦または横につなげることで得られる
(ε, ε')-タングル
自明な(ε, ε')-タングル