Comment by 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.