Abstraction is useful when the resulting code is logically simpler, much like say category theory makes certain results in algebraic topology seem obvious. Per

Abstraction is useful when the resulting code is logically simpler, much like say category theory makes certain results in algebraic topology seem obvious. Perhaps, you simply mean a different thing when you say "abstraction".