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