On Thu, Nov 5, 2009 at 11:11 PM, Andrew Coppin <[email protected]> wrote: > Matus Tejiscak wrote: >> >> zygohistomorphic prepromorphisms > > Please tell me this isn't a real technical term. o_O >
You can even generalize them: g_prepro_zygo :: (Functor f, Comonad w) => GAlgebra f w b -> Dist f w -> GAlgebra f (ZygoT w b) a -> (f :~> f) -> FixF f -> a Brought to you by the wonderful world of category theory: http://hackage.haskell.org/packages/archive/category-extras/0.53.5/doc/html/Control-Morphism-Zygo.html Here is an explanatory diagram: http://bifunctor.homelinux.net/~roel/zygohistomorphic_prepromorphism.gif _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
