[Haskell-cafe] Master's thesis topic sought

Roel van Dijk vandijk.roel at gmail.com
Thu Nov 5 17:51:27 EST 2009


On Thu, Nov 5, 2009 at 11:11 PM, Andrew Coppin
<andrewcoppin at btinternet.com> 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


More information about the Haskell-Cafe mailing list