范畴论的最初的概念出现在18世纪的数学家欧文的研究中。他认为,在抽象的计算中,连续的状态之间经过处理后可以通过一种映射关系,也就是交换图形状,把一种状态变化成另一种状态。而交换图范畴论则是深入研究这种映射关系,以及如何运用它来解决一些复杂的计算问题。 交换图范畴论把一系列抽象的状态连接起来,形成一种...
near end}]&&&\calD\arrow[Rightarrow, from=U1, to=D1,"\alpha"', ""{name=L1}]\arrow[Righ...