strict pivotal category
https://arxiv.org/pdf/1004.1533v3.pdf より
To simplify the notation, we will assume that C is a strict pivotal category, i.e. that V** = V . As is well-known, this is not really a restriction, since any pivotal category is equivalent to a strict pivotal category