annotate wisdom/monoidal category @ 12314:e7e9a95f76de draft

<oerjan> undo 12128
author HackEso <hackeso@esolangs.org>
date Fri, 21 Feb 2020 03:24:20 +0000
parents c1e09681cd57
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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.