Comments on: Dynamorphisms as Chronomorphisms http://comonad.com/reader/2008/dynamorphisms-as-chronomorphisms/ types, (co)monads, substructural logic Fri, 27 Apr 2012 05:01:00 -0400 http://wordpress.org/?v=2.8.4 hourly 1 By: Fritz Ruehr http://comonad.com/reader/2008/dynamorphisms-as-chronomorphisms/comment-page-1/#comment-1084 Fritz Ruehr Sun, 27 Apr 2008 09:58:04 +0000 http://comonad.com/reader/2008/dynamorphisms-as-chronomorphisms/#comment-1084 Up too late and way too tired, I mis-read "Cofree" for "Coffee" at first glance :) . Hopefully some of the latter, in the morning, will help me digest the former. Up too late and way too tired, I mis-read “Cofree” for “Coffee” at first glance :) . Hopefully some of the latter, in the morning, will help me digest the former.

]]> By: Edward Kmett http://comonad.com/reader/2008/dynamorphisms-as-chronomorphisms/comment-page-1/#comment-1083 Edward Kmett Sun, 27 Apr 2008 08:09:21 +0000 http://comonad.com/reader/2008/dynamorphisms-as-chronomorphisms/#comment-1083 Another notion of g_dyna could be to allow the composition of a generalized anamorphism with a histomorphism rather than the one above which has a generalized histomorphism with an anamorphism. Allowing for them both together yields the near trivial declaration: g_dyna k = g_hylo (distCofree k) but at that point its not clear that its a whole lot more specific than g_hylo. Another notion of g_dyna could be to allow the composition of a generalized anamorphism with a histomorphism rather than the one above which has a generalized histomorphism with an anamorphism.

Allowing for them both together yields the near trivial declaration:

g_dyna k = g_hylo (distCofree k)

but at that point its not clear that its a whole lot more specific than g_hylo.

]]>