better syntax for distributive/rig categories - Githubissues

ohnosequences / stuff

Useful stuff.

GNU Affero General Public License v3.0

1 stars 0 forks source link

better syntax for distributive/rig categories #77

Closed eparejatobes closed 6 years ago

eparejatobes commented 6 years ago

[x] disambiguate morphisms for the two monoidal structures (assoc, swap, etc)
[x] ...