issues
search
ohnosequences
/
stuff
Useful stuff.
GNU Affero General Public License v3.0
1
stars
0
forks
source link
monad morphisms and kleisli liftings
#24
Open
eparejatobes
opened
8 years ago
eparejatobes
commented
8 years ago
References:
The formal theory of monads
A 2-categories companion
Monad compositions I: general constructions and recursive distributive laws
References: