The tensor product of function semimodules

Given two domains of functions with values in a field, the canonical map from the algebraic tensor product of the vector spaces of functions on the two domains to the vector space of functions on the product of the two domains is well known to be injective, but not generally surjective. By constructing explicit examples, we show that the corresponding map for semimodules of semiring-valued functions is in general not even injective. This impacts the formulation of topological quantum field theories over semirings. We also confirm the failure of surjectivity for functions with values in complete, additively idempotent semirings by describing a large family of functions that do not lie in the image.