A discussion on relation between injectivity and surjectivity (part 2)

Starting with a basic question of deducing bijectivity from the simplest functional equations we discuss some equivalent conditions for injectivity and such via existence of inverses. We then go ahead and ask in what cases does injectivity alone impliex surjectivity. Examples, range from finite sets to linear maps between finite dimensional algebras, and so on.

My links: