[keithalewis]

You made a completely obvious and true statement starting with "It would help..." That seems to be frowned upon on HN.

BTW, a simpler definition of a (small) category is that it is a partial monoid.

[xanderlewis]

You mean a monoidoid.

(I’m not sure this ‘simpler definition’ is going to help!)