http://comonad.com/reader/2008/kan-extensions-ii/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1 http://comonad.com/reader/2008/kan-extensions-ii/comment-page-1/#comment-106676 The Comonad.Reader » Unnatural Transformations and Quantifiers Thu, 22 Nov 2012 06:43:11 +0000 http://comonad.com/reader/2008/kan-extensions-ii/#comment-106676 [...] , where is enriched in . Provided the above end exists, is a monad regardless of whether has an adjoint, which is the usual way one thinks of functors (in general) giving rise to [...] [...] , where is enriched in . Provided the above end exists, is a monad regardless of whether has an adjoint, which is the usual way one thinks of functors (in general) giving rise to [...]

]]> http://comonad.com/reader/2008/kan-extensions-ii/comment-page-1/#comment-62286 The Comonad.Reader » A Product of an Imperfect Union Fri, 01 Jul 2011 03:55:35 +0000 http://comonad.com/reader/2008/kan-extensions-ii/#comment-62286 [...] The latter few steps require identities established in my second post on Kan extensions. [...] [...] The latter few steps require identities established in my second post on Kan extensions. [...]

]]> http://comonad.com/reader/2008/kan-extensions-ii/comment-page-1/#comment-61224 The Comonad.Reader » Free Monads for Less (Part 1 of 3): Codensity Fri, 24 Jun 2011 06:22:57 +0000 http://comonad.com/reader/2008/kan-extensions-ii/#comment-61224 [...] arise in a subsequent post) on this blog previously, in a series of posts on Kan Extensions. [ 1, 2, [...] [...] arise in a subsequent post) on this blog previously, in a series of posts on Kan Extensions. [ 1, 2, [...]

]]> 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.

]]>