[Haskell-cafe] Re: bimap 0.2
Christian.Maeder at dfki.de
Wed Feb 6 04:33:53 EST 2008
Stuart Cook wrote:
> <Christian.Maeder at dfki.de> wrote:
>> We've called it "injective maps". Does surjectivity make sense a all?
> In my mind, surjectivity is the property that each key in the
> right-hand map is a value in the left-hand map (and vice-versa). This
Still, injectivity ("one-to-one") is the only interesting property. The
inverse (on the range) is then injective, too.
More information about the Haskell-Cafe