Wednesday, January 24, 2007

Comonadic functional attribute evaluation

They relate zippers to comonads. Wow!

CoKleisli categories make comonads relevant for analyzing notions of context-dependent
function. If the object D A is viewed as the type of contextually situated
values of A, a context-dependent function from A to B is a map D A -> B in the base
category, i.e., a map from A to B in the coKleisli category. The counit eA : D A -> A
discards the context of its input whereas the coextension k† : D A -> D B of a function k : D A -> B essentially duplicates it (to feed it to k and still have a copy left).

No wonder processes looked like zippers to me - they are about contextually situated values (err, actually computations :( ).

7 comments:

sigfpe said...

I think there's also a monad behind every zipper. It's just that the monad is in the category of vector spaces. But it still captures the form that some zipper-based computations might take.

Anonymous said...

Wanna Get HIGH? Running out of Supply? Then Check Out My Shit!
>>>>> http://bestlegalhighsdrugs.info <<<<
If you have questions, you can email my boy at online.mentor [at] gmail.com


[size=1] IGNORE THIS----------------------------
Lsd Ecstasy drug levels [url=http://bestlegalhighsdrugs.info] natural highs [/url] amanita muscaria illegal bufo alvatius [url=http://buybudshoplegalherbs.info] buy legal herbs[/url] legaal bids ufo alvafius [url=HTTP://BUYINGMARIJUANASALE.INFO] Marijuana Sale [/url] Ecstasy Users psilocybe mushrooms of the world [url=HTTP://BUYLEGALBUDSCOMREVIEWS.INFO] buy legal bud [/url] ectsasy pikls salvka divinorym [url=HTTP://CANNABISHIGH-PILLSHIGH.INFO] High Quality Cannabis[/url] latvian amanita muscaria caps vufo alvariud [url=HTTP://HOWTOBUYWEED-BUYINGWEED.INFO] how to order ganja[/url] salvvia divinoru buufo alvaeius [url=http://legalbud.drugreviews.info] legal bud [/url]

pruning lavender hashish blogspot [url=http://legalweed.lamodalatina.com] legalweed [/url] buy kratom tea iamshaman [url=http://buysalvia.lamodalatina.com] order salvia plant[/url] mushroom pictures amanuta muscraia

amaanita muscari magic mushroom wikipedia [url=http://legalweed.lamodalatina.com] legal weed [/url] ammanita mmuscaria budo allvarius [url=http://buysalviacheap.com] order salvia plants[/url] better than kratom does salvia leave people depressed
[url=http://guaranteedheightincrease.info/]height improvement[/url] - http://guaranteedheightincrease.info/
height increase - http://guaranteedheightincrease.info
[url=http://provenpenisenlargement.info/]proven penis growth[/url] - http://provenpenisenlargement.info/
proven penis enhancement - http://provenpenisenlargement.info/
[url=http://provenskincareadvice.info/]skin care techniques[/url] - http://provenskincareadvice.info/
skin care techniques - http://provenskincareadvice.info/
[url=http://getrichgambling.info/]get money gambling[/url] - http://getrichgambling.info/
get money gambling - http://getrichgambling.info/
[url=http://herpesoutbreak-gentalwarts.info/]herpes outbreak[/url] - http://herpesoutbreak-gentalwarts.info/
herpes outbreaks - http://herpesoutbreak-gentalwarts.info/
[url=http://STOP-PREMATURE-EJACULATION-SOLUTIONS.INFO]cure premature ejaculation[/url] - http://STOP-PREMATURE-EJACULATION-SOLUTIONS.INFO
stop premature ejaculation - http://STOP-PREMATURE-EJACULATION-SOLUTIONS.INFO
[url=http://3GMOBILEPHONESFORSALE.INFO]3g mobile phones for sale[/url] - http://3GMOBILEPHONESFORSALE.INFO
used mobile cell phone on sale - http://3GMOBILEPHONESFORSALE.INFO
[url=http://internationaloddities.reviewsdiscountsonline.com] international oddities review[/url]
internationaloddities review
[url=http://drobuds.reviewsdiscountsonline.com]reviews of dro buds [/url]
reviews of dro bud
[url=http://bestacnetreatmentreviews.info] acne treatment reviews[/url] http://bestacnetreatmentreviews.info
best acne treatment reviews http://bestacnetreatmentreviews.info
[url=HTTP://LEARN-HYPNOSIS-ONLINE.INFO]learn hypnosis online[/url]
learn hypnosis online

Anonymous said...

Thank You for being the member of this website. Please allow me to have the possibility to express my satisfaction with Host Gator web hosting. They have professional and instant support and they also offering many [url=http://tinyurl.com/hostgator-coupons-tutorial ]Host gator coupons[/url].

I like Hostgator hosting, you will too.

http://forum.actisce.org/index.php?action=profile;u=14718

Anonymous said...

[url=http://www.nikefalconsauthenticjerseys.com/]Julio Jones Jersey[/url]

When deciding to buy any jersey, be sure that the rear is really long enough to suit your specifications Any negative attitudes and fears you have about marketing a practice need to be eliminated Using such a tool will greatly reduce the time you spend getting your articles up on your site

[url=http://www.broncosnflprostore.com/]Nike Peyton Manning Jersey[/url]

Genuine happiness is impossible without them Whatever you are doing, stretch yourself to do more! Stretching yourself will break the limits you have set for yourself and will cause you to find joy in your expanded horizons!Give more than you takeWe play the odds, we 'wait and see' Give away what you want more of ? it really works

[url=http://www.broncosnflprostore.com/]Broncos Von Miller Jersey[/url]

Anonymous said...

top [url=http://www.001casino.com/]free casino bonus[/url] brake the latest [url=http://www.realcazinoz.com/]free casino bonus[/url] free no set aside reward at the best [url=http://www.baywatchcasino.com/]baywatchcasino
[/url].

Anonymous said...

top [url=http://australia-free-casino.com/]online casino[/url] hinder the latest [url=http://www.casinolasvegass.com/]casino bonus[/url] autonomous no consign bonus at the foremost [url=http://www.baywatchcasino.com/]casino compensation
[/url].

Anonymous said...

Wow! After all I got a webpage from where I can genuinely get valuable data regarding my study
and knowledge.

Feel free to visit my page Zahngold Wert