undefined | Better HN

0 pointskeithalewis1y ago0 comments

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.

0 comments

You mean a monoidoid.

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

j / k navigate · click thread line to collapse

You mean a monoidoid.

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

j / k navigate · click thread line to collapse