view wisdom/monoidal category @ 9285:8320c9c4620f

<oerjan> learn Umlaut is German for "hum aloud", an important feature of the German language. It is indicated by putting two dots over the vowel of the syllable.
author HackBot
date Sat, 15 Oct 2016 00:04:47 +0000
parents c1e09681cd57
children
line wrap: on
line source

Monoidal categories are just 2-categories with a single object.