addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrosseditemptyheartexportfacebookfolderfullheartglobegmailgoogleimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Hopefully, finish the paper on Kan Extensions

It will be mid-section 6, and section 7.

Free algebras over a functor, and further down, and how they are related to codensity monad.

The most intriguing parts.

Dan, hope it's okay with you as a host; if not, pls let me know.

Shachaf, hope you'll be back by this time.

Neuman, a special invitation for you to come; I hope you'll find and read the paper, at least the parts that we were talking about.

Ralf Hinze, "Kan Extensions for Program Optimisation
Or: Art and Dan Explain an Old Trick" http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf

Join or login to comment.

  • Vlad P.

    It was small and short but amazing. I've personally learned a lot; and Shachaf's amazingly interesting examples shed light on the essence of free monads.

    March 27, 2013

  • Byron H.

    I suggest trying again, later.

    March 26, 2013

  • Shachaf

    (Tentative -- I'm landing late on the 26th, but hopefully I'll be able to make it.)

    March 5, 2013

  • Neuman

    Looks like I have quite a bit to catch up on! Looking forward to the meeting and discussion :)

    March 1, 2013

    • Vlad P.

      The key to this article is: ignore the introduction (I had wasted 2 weeks trying to figure out each sentence; it's all explained further down)

      March 2, 2013

3 went

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy