半数o阿白 函子态射 | 米田引理是真的抽象,想要搞清楚首先需要知道函子态射的结构是什么样的。这个问题本来我没打算考虑,因为函子的结构都已经相当复杂了,函子代数姑且给出了一种刻画,函子是保持交换图的两层级对应结构,但是函子态射需要把函子本身看作一个变量,也就是以结构为变量的结构,这就是一般函...