Let F, G:I → C be monoidal functors from a monoidal category I to a linear abelian rigid monoidal category C over an algebraically closed field k. Then the set Nat(F,G) of natural transformations F → G is naturally a vector space over k. Under certain assumptions, we show that the set of monoidal natural transformations F → G is linearly independent as a subset of Nat(F,G). As a corollary, we can show that the group of monoidal natural automorphisms on the identity functor on a finite tensor category is finite. We can also show that the set of pivotal structures on a finite tensor category is finite.
ASJC Scopus subject areas
- Applied Mathematics