History

for article: Monoid (category theory)