search

ohnosequences / stuff

Useful stuff.
GNU Affero General Public License v3.0
1 stars 0 forks source link

Rig categories #66

Open eparejatobes opened 7 years ago

eparejatobes commented 7 years ago

two (symmetric) monoidal categories with the standard structure.