http://comonad.com/reader/2008/kan-extensions-ii/ types, (co)monads, substructural logic Wed, 28 Jul 2010 13:34:03 -0400 http://wordpress.org/?v=2.8.4 hourly 1 http://comonad.com/reader/2008/kan-extensions-ii/comment-page-1/#comment-1613 The Comonad.Reader » Representing Adjunctions Thu, 05 Jun 2008 16:49:08 +0000 http://comonad.com/reader/2008/kan-extensions-ii/#comment-1613 [...] I've had a few people ask me questions about Adjunctions since my recent post and a request for some more introductory material, so I figured I would take a couple of short posts to tie Adjunctions to some other concepts. [...] [...] I’ve had a few people ask me questions about Adjunctions since my recent post and a request for some more introductory material, so I figured I would take a couple of short posts to tie Adjunctions to some other concepts. [...]

]]> http://comonad.com/reader/2008/kan-extensions-ii/comment-page-1/#comment-1476 The Comonad.Reader » Kan Extensions III: As Ends and Coends Tue, 27 May 2008 00:23:25 +0000 http://comonad.com/reader/2008/kan-extensions-ii/#comment-1476 [...] Grant B. asked me to post the derivation for the right and left Kan extension formula used in previous Kan Extension posts (1,2). For that we can turn to the definition of Kan extensions in terms of ends, but first we need to take a couple of steps back to find a way to represent (co)ends in Haskell. [...] [...] Grant B. asked me to post the derivation for the right and left Kan extension formula used in previous Kan Extension posts (1,2). For that we can turn to the definition of Kan extensions in terms of ends, but first we need to take a couple of steps back to find a way to represent (co)ends in Haskell. [...]

]]> http://comonad.com/reader/2008/kan-extensions-ii/comment-page-1/#comment-1418 Edward Kmett Fri, 23 May 2008 05:06:41 +0000 http://comonad.com/reader/2008/kan-extensions-ii/#comment-1418 Update: The current version of category-extras on hackage should now build correctly on ghc 6.8. Update: The current version of category-extras on hackage should now build correctly on ghc 6.8.

]]>