What is Nostr?
theHigherGeometer /
npub1p2q…c0lr
2023-07-24 06:16:36

theHigherGeometer on Nostr: I found the report where Bourbaki decided to (at least provisionally) adopt the ...

I found the report where Bourbaki decided to (at least provisionally) adopt the terminology "injective", "surjective", "bijective". The previous report had all this discussion about old-style terminology ("application biunivoque sur"), and proposing all kinds of amusing neologisms that never saw the light of say.
Author Public Key
npub1p2q4c7sn2jgtj3w7g9syy5zjldxd8e5ruknf99g8y636ls8vx8esq5c0lr