上所需要的。一般没有必要引入任何特殊的构造，几何概念或依赖于坐标系。在范畴理论术语中，一切都是完全自然的。
抽象方法的总结.原则上抽象方法可以重新获得通过古典方法得到的一切。在实践中可能并不简单。另一方面，“自然”这一概念和广义相对论中的广义协变性原理一致。后者处理张量场（流形上逐点变化的张量），但是协变性断言张量语言对广义相对论的恰当表述是不可缺少的。几十年以后，来自范畴论中相当抽象观点与20世纪30年代赫尔曼·外尔（在他有名的和非常难的着作《经典群》）发展的方法密切相关。在