The Tensor Product Of Commutative Monoids Expository Notes