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!
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
