[Haskell-cafe] Re: bimap 0.2

[Christian Maeder]

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.

Christian