TensorProductProperty(R, M, N, MxN, S)

tensor.spad line 38 [edit on github]

• R: CommutativeRing

• M: Module R

• N: Module R

• MxN: TensorProductCategory(R, M, N)

• S: Module R

Universal property of tensor products.

eval: (MxN, (M, N) -> S) -> S

eval(x, f) evaluates the bivariate function f linearly on the tensor product.