The characterization of 3-Hilbert spaces by inductive fixed-point data
Let \fX∈3Vect\fX\in 3\mathsf{Vect}\fX∈3Vect be an O(3)O(3)O(3)-fixed point. For every F :2Vect→\fXF\colon 2\mathsf{Vect}\to\fXF:2Vect→\fX, suppose that FFF is equipped with an O(2)O(2)O(2)-fixed point structure, and that…