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.