diff wisdom/monoidal category @ 4186:c1e09681cd57

<shachaf> echo \'Monoidal categories are just 2-categories with a single object.\' > wisdom/\'monoidal category\'
author HackBot
date Fri, 13 Dec 2013 07:13:28 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/monoidal category	Fri Dec 13 07:13:28 2013 +0000
@@ -0,0 +1,1 @@
+Monoidal categories are just 2-categories with a single object.