At the very least, category theoretic language clarifies what exactly these related areas have in common (in some abstract sense).
Στο ελάχιστο, η θεωρητική γλώσσα κατηγορίας διευκρινίζει τι ακριβώς αυτές οι σχετικές περιοχές έχουν κοινο (υπό κάποια αφηρημένη έννοια).