http://comonad.com/reader/2008/representing-adjunctions/ 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/representing-adjunctions/comment-page-1/#comment-1681 Grant B Fri, 13 Jun 2008 22:33:24 +0000 http://comonad.com/reader/2008/representing-adjunctions/#comment-1681 Just to let you know that this post helped my understanding of category-theoretic representability and representable functors. Just to let you know that this post helped my understanding of category-theoretic representability and representable functors.

]]> http://comonad.com/reader/2008/representing-adjunctions/comment-page-1/#comment-1616 The Comonad.Reader » Zapping Adjunctions Thu, 05 Jun 2008 20:34:13 +0000 http://comonad.com/reader/2008/representing-adjunctions/#comment-1616 [...] Now, we would like to do the same thing we did with Representable last time, and just require the user of the Adjunction class to provide us with more instances, something like: [...] [...] Now, we would like to do the same thing we did with Representable last time, and just require the user of the Adjunction class to provide us with more instances, something like: [...]

]]>