第五百三十五章 范畴论和函子（范畴） (第2/2页)

阿诺德听完以后有些懵。

桑德斯·麦克兰恩说：“而函子本身也可以看成一种对象，所以函子之间也会存在态射。这种函子之间的态射我们称之为自然变换。”

柯尔莫哥洛夫实在是听不下去了，直接高喊：“先等一下，你们这是在闹什么？我觉得你们创造数学符号和数学名词的时候非常随便和混乱。在我学哲学史的时候有一个非常重要的思路，就是任何一种理论都是要解决一个特定的问题。如果没有这个问题，这一理论就毫无意义。因此在说明一种理论的第一件事，应当是说明这个理论要解决什么问题。你们这些人讲了许多定义，但是没有“问题”。”

塞缪尔·艾伦伯格说：“我这是个十分有用的东西，范畴论直观，更容易理解。是以公理集合论定义，所以都是集合论语言，很冗长。集中使用在代数拓扑，代数几何，代数几何子领域的非交换几何，代数数论。理论物理以来代数几何中非交换几何，所以也用范畴论表示。”

柯尔莫哥洛夫摇摇头说：“仅仅是一个哲学概念，不会很好的精确解决问题。”

阿诺德说：“这些都是抽象到一堆像云雾一样的了？还有其准确性？为什么听起来如此混乱？”

格罗滕迪克说：“如果拿纯粹的集合论表示，那才麻烦，用范畴论让这些变得简化了。”

格罗滕迪克说：“这不但有用，非交换几何十分有用，而非交换几何也只能用以上的理论来解决，所以这是个十分有用的东西。这是可以的，在集合论的基础上，对这些东西进行了严格而精细的改造，出来的这些东西可以规范原有的理论，以此衍生出的新东西当然可以构造出新的理论。对此，有两个问题需要面对：1，如何去规范这套理论，尽量没有任何瑕疵，对待任何瑕疵，都要拿出数学家严谨的一面来解决。如何使用这套理论，让数学家对这些理论有一种情感上的准确把握和认识。”

柯尔莫哥洛夫说：“我就不吐槽态射这个词了，我都快不认识态这个字了。对象和态射既然打包叫范畴，那么范畴到范畴的态射按照正常的思路应该叫什么？高级态射？宏态射？居然叫函子！而且既然箭头往右打，为什么要用一个反向的动词跟随，再把对象反过来写？再加上前面范畴用的是不知道什么字母，后面又变成Abc了，让人非常混乱。”

格罗滕迪克说：“我脑子里想事情不需要问题，只需要直接想定义即可。非交换几何可以一眼就看出其物理意义。也只能用代数几何方法来研究。”格罗滕迪克对那些苏联的土老冒也毫无办法了，看来即使是在数学上杰出的人，也不见得事事都可接受。