search

ohnosequences / stuff

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

Derived structures in kleisli categories #73

Open eparejatobes opened 6 years ago

eparejatobes commented 6 years ago

Depending on the structure available in the base category (and the monad itself) we can lift them to the Kleisli category.