[Haskell-cafe] "Prime" monads?

Greg Meredith lgreg.meredith at biosimilarity.com
Tue Sep 11 20:03:32 EDT 2007


Is there a characterization of "prime" monads? Here the notion of
factorization i'm thinking about is decomposition into adjoint situations.
For example, are there monads for which there are only the Kleisli and
Eilenberg-Moore decompositions into adjoint situations? Would this be a
characterization of quintessentially "free" or "generative"?

Best wishes,


L.G. Meredith
Managing Partner
Biosimilarity LLC
505 N 72nd St
Seattle, WA 98103

+1 206.650.3740

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070911/22e18894/attachment.htm

More information about the Haskell-Cafe mailing list