Tensor Functors in the Category Fm of Evaluated Modules

• 赋值模范畴Fm中的张量函子