http://comonad.com/reader/2008/unnatural-transformations/ 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/unnatural-transformations/comment-page-1/#comment-1079 The Comonad.Reader » Dynamorphisms as Chronomorphisms Sun, 27 Apr 2008 01:54:34 +0000 http://comonad.com/reader/2008/unnatural-transformations/#comment-1079 [...] Moreover, as an interesting aside, since one side is an anamorphism, there is no power to be gained for a dynamorphism by introducing a natural transformation term, even though dynamorphism is a form of chronomorphism, because 'eta' can be folded into the anamorphism side of the chronomorphism, as you do with a normal hylomorphism. [...] [...] Moreover, as an interesting aside, since one side is an anamorphism, there is no power to be gained for a dynamorphism by introducing a natural transformation term, even though dynamorphism is a form of chronomorphism, because ‘eta’ can be folded into the anamorphism side of the chronomorphism, as you do with a normal hylomorphism. [...]

]]>