1 problem

Let $[?]$ be a 2-rig and let $r\triangleright [?]$ be an object of finite bosonic subdimension. Splitting principle conjecture. There exists a 2-rig $[?]$ and a map of 2-rigs…