Monoid ** Monoid

M ** N -- tensor product of monoids.

For complete documentation, see tensor.

Go to main index.

Go to concepts index.