最近使用范畴论与几何中的一些理论对我以前提的几个概念进行抽象化。发现抽象化之后,往往只是变了一种方式叙述,实际落地,依然需要延续已有的方法,并且有时进一步提出的方法在实际中经常受限,或者意义不大。例如,可以定义一种同调论,但是实际的可计算性很弱,并且往往得不到什么有意义的面向现实的结果,数学上也许比较唬人,仅此而已。
发布于 浙江
最近使用范畴论与几何中的一些理论对我以前提的几个概念进行抽象化。发现抽象化之后,往往只是变了一种方式叙述,实际落地,依然需要延续已有的方法,并且有时进一步提出的方法在实际中经常受限,或者意义不大。例如,可以定义一种同调论,但是实际的可计算性很弱,并且往往得不到什么有意义的面向现实的结果,数学上也许比较唬人,仅此而已。