Indeed. The author is looking for abstractions where they are not. Abstractions are in Algebra in general and in Category Theory in particular. The essence of A

Indeed. The author is looking for abstractions where they are not. Abstractions are in Algebra in general and in Category Theory in particular. The essence of Algebra is abstraction. All Algebras start from some intended model but they abstract it into axioms, i.e. "interface-level properties", which completely hide the "implementation".