https://5dok.net/document/zx5xvljn-construction-invariant-tensor-category-condition-called-spherical-category.html