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

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!