Comment on Quiver: A Modern Commutative Diagram EditorparentComments−xanderlewis1yYou mean a monoidoid.(I’m not sure this ‘simpler definition’ is going to help!)
Comments
You mean a monoidoid.
(I’m not sure this ‘simpler definition’ is going to help!)