> something more mathematical It has been done. Category Theory (a.k.a. "abstract nonsense") has been pretty successful describing abstraction using the langua

> something more mathematical It has been done. Category Theory (a.k.a. "abstract nonsense") has been pretty successful describing abstraction using the language of functors.