view wisdom/monoidal category @ 9234:880ceefc4145

<b_jonas> addquote ais523 hmm, I just remembered that I was formally trained to tune harps
author HackBot
date Tue, 11 Oct 2016 12:59:14 +0000
parents c1e09681cd57
children
line wrap: on
line source

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