search

ohnosequences / stuff

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

Monoidal functor composition #19

Closed eparejatobes closed 7 years ago

eparejatobes commented 8 years ago

while playing with this I noticed that monoidal functors should leave source and target cats free. Opening a new issue for that.

eparejatobes commented 8 years ago

After #25

eparejatobes commented 8 years ago

@laughedelic after d93a61c I think it's clear how to proceed here. I'm assigning this to you, if you don't think you'll be able to do this in the next few days, re-assign it to me.

laughedelic commented 8 years ago

OK. Definitely not on the weekend. But I'll look into it on Monday 👍