User contributions for 118.211.14.53

5 February 2021

• 10:5210:52, 5 February 2021 diff hist +4,920 N Cartesian monoidal category Removed a confusing reference to "tensor product" when discussing direct sum, and changed "tensor unit" to "monoidal unit" in into current