[Haskell-cafe] Re: bimap 0.2

Stuart Cook wrote:

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