第五百三十五章 范畴论和函子(范畴) (第2/2页)
但有用,非交换几何十分有用,而非交换几何也只能用以上的理论来解决,所以这是个十分有用的东西。这是可以的,在集合论的基础上,对这些东西进行了严格而精细的改造,出来的这些东西可以规范原有的理论,以此衍生出的新东西当然可以构造出新的理论。对此,有两个问题需要面对:1,如何去规范这套理论,尽量没有任何瑕疵,对待任何瑕疵,都要拿出数学家严谨的一面来解决。如何使用这套理论,让数学家对这些理论有一种情感上的准确把握和认识。”
柯尔莫哥洛夫说:“我就不吐槽态射这个词了,我都快不认识态这个字了。对象和态射既然打包叫范畴,那么范畴到范畴的态射按照正常的思路应该叫什么?高级态射?宏态射?居然叫函子!而且既然箭头往右打,为什么要用一个反向的动词跟随,再把对象反过来写?再加上前面范畴用的是不知道什么字母,后面又变成Abc了,让人非常混乱。”
格罗滕迪克说:“我脑子里想事情不需要问题,只需要直接想定义即可。非交换几何可以一眼就看出其物理意义。也只能用代数几何方法来研究。”格罗滕迪克对那些苏联的土老冒也毫无办法了,看来即使是在数学上杰出的人,也不见得事事都可接受。