Indexed and Parameterized Monads

Date: 2010-04-05 12:40 pm (UTC)From: [identity profile] http://users.livejournal.com/_harmless_/
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
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

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.

Profile

winterkoninkje: shadowcrane (clean) (Default)
wren romano
Professional Website

April 2019

S M T W T F S
 123456
78910111213
14151617181920
212223242526 27
282930    

Tags

Where next?

Page generated 14 Jun 2025 05:30 am
Powered by Dreamwidth Studios