annotate wisdom/monoid @ 11391:b2c725ab1062

<wob_jonas> forget n\xc3\xb8d
author HackBot
date Wed, 28 Feb 2018 02:25:39 +0000
parents de375e980253
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6119
de375e980253 <tswett> le/rn monoid/A monoid is the easy version of a category.
HackBot
parents: 6028
diff changeset
1 A monoid is the easy version of a category.