The name escapes me but any category theory book should supply the answer.
Dominic.
Tom Pledger [EMAIL PROTECTED]@haskell.org on 27/03/2002 04:22:29
Sent by: [EMAIL PROTECTED]
To: haskell-cafe
cc:
bcc:
Subject: Is there a name for this structure?
Joe English writes:
:
| Suppose
Not really a Haskell question, but someone here might know the answer...
Suppose you have two morphisms f : A - B and g : B - A
such that neither (f . g) nor (g . f) is the identity,
but satisfying (f . g . f) = f. Is there a conventional name
for this? Alternately, same question, but f and
Joe English writes:
:
| Suppose you have two morphisms f : A - B and g : B - A
| such that neither (f . g) nor (g . f) is the identity,
| but satisfying (f . g . f) = f. Is there a conventional name
| for this?
Is it equivalent to saying that (f . g) is the identity on the range
of f?