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

tensor.spad line 37 [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, Mapping(S, M, N)) -> S

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