http://users.livejournal.com/_harmless_/ ([identity profile] http://users.livejournal.com/_harmless_/) wrote in [personal profile] winterkoninkje 2010-04-05 12:40 pm (UTC)

Indexed and Parameterized Monads

Your 1-monads are called Parameterized monads by category-extras. Your 2-monads are a subset of Indexed monads (which have ALSO been called parameterized monads by some folks). Dan Piponi gave a nice writeup on them fairly recently, including a category-index writer monad that precisely matches your specification.

-Edward Kmett
(2 comments)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
No Subject Icon Selected
More info about formatting

Loading anti-spam test...

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org

 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.