Comments on: Unnatural Transformations
http://comonad.com/reader/2008/unnatural-transformations/
types, (co)monads, substructural logicSat, 29 Dec 2012 15:18:06 -0800http://wordpress.org/?v=2.8.4hourly1By: The Comonad.Reader » Dynamorphisms as Chronomorphisms
http://comonad.com/reader/2008/unnatural-transformations/comment-page-1/#comment-1079
The Comonad.Reader » Dynamorphisms as ChronomorphismsSun, 27 Apr 2008 01:54:34 +0000http://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. [...]
]]>