Abstraction as discarding information in a function
Aris Goudouras
Not all functions perform abstraction (Milewski gives an example right after of injective functions / monomorphisms, which don’t abstract).