Jean Benabou wrote in part:
Surjective equivalences are much better than mere equivalences because :
I would be grateful for a reference or list of references
about "important properties and what they are good for"
for surjective equivalences.
--Toby
