[Haskell-cafe] Not an isomorphism, but what to call it?

Sean Leather leather at cs.uu.nl
Fri Jan 20 09:09:17 CET 2012


On Thu, Jan 19, 2012 at 23:21, Dan Doel wrote:

> A is a retract of B.
>
>    http://nlab.mathforge.org/nlab/show/retract
>
> g is the section, f is the rectraction. You seem to have it already.
> The definition needn't be biased toward one of the functions.
>

Great! That's what I was looking for. Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120120/c1f9aacc/attachment.htm>


More information about the Haskell-Cafe mailing list