Category: syntatic-monoid