5 Nov
2009
5 Nov
'09
5:51 p.m.
On Thu, Nov 5, 2009 at 11:11 PM, Andrew Coppin
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/... Here is an explanatory diagram: http://bifunctor.homelinux.net/~roel/zygohistomorphic_prepromorphism.gif