We prove the existence and
furnish an explicit construction of the tensor product in various categories of ideal
systems and module systems, structures previously introduced and studied by the
first author as a setting for abstract commutative algebra.