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