[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:

Here is an explanatory diagram:

More information about the Haskell-Cafe mailing list