http://www.cs.ox.ac.uk/people/bob.coecke/andrei.pdf の4章 A 2-Categorical Primer が良いのだが、この文書タイトルがなくて困る。oxfordのandrei君の学位論文らしいことは分かるのだけど。 https://www.cs.ox.ac.uk/people/andrei.akhvlediani/

2つの三角ハイブA, BがZ不変量で区別出来ないとする。そのとき、AからBに至る変形の列がある。その変形は、 パッヒナル移動 三角形と四角形の潰しとその逆 一点接合と切り離し で生成される。と予想している。もっと基本変形があるかもしれないが。