Comment on Quiver: A Modern Commutative Diagram EditorparentComments−keithalewis1yYou 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.−xanderlewis1yYou mean a monoidoid.(I’m not sure this ‘simpler definition’ is going to help!)
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.
You mean a monoidoid.
(I’m not sure this ‘simpler definition’ is going to help!)