タングルの圏
タングルの圏
定義『圏論の歩き方』.iconp.44
対象対象εから、対象対象ε'への射は(ε, ε')-タングル
恒等射は自明な(ε, ε')-タングル
特別な場合のリボン圏
https://m-hiyama.hatenablog.com/entry/20090622/1245660033
https://m-hiyama.hatenablog.com/entry/20090623/1245715012