At the very least, category theoretic language clarifies what exactly these related areas have in common (in some abstract sense).
至少，用范畴论可以精确地描述在这些相关的领域里什么是共同的（在抽象的意义上）。