Mercurial > repo
annotate wisdom/monoidal category @ 10147:a645170ded84
<oerjan> learn `5 <cmd> is equivalent to repeating `` <cmd> 5 times, then splitting the output into irc-sized pieces. <cmd> defaults to "quote". See `1. Confusingly _not_ the obvious generalization of `2.
author | HackBot |
---|---|
date | Thu, 19 Jan 2017 02:53:48 +0000 |
parents | c1e09681cd57 |
children |
rev | line source |
---|---|
4186
c1e09681cd57
<shachaf> echo \'Monoidal categories are just 2-categories with a single object.\' > wisdom/\'monoidal category\'
HackBot
parents:
diff
changeset
|
1 Monoidal categories are just 2-categories with a single object. |