generated at
タングルの圏
定義『圏論の歩き方』p.44
対象対象εから、対象対象ε'への射は(ε, ε')-タングル
特別な場合のリボン圏