自然变换
数学 · 函子之间的映射
术语解释
自然变换是两个函子之间的"映射",是范畴论中最高层的箭头。如果函子F和G都把范畴C映到范畴D,自然变换给出了一种"协调一致"的方式把F(X)变到G(X)。范畴论名言:范畴是为了讨论函子,函子是为了讨论自然变换。
怎么理解
自然变换=函子之间的箭头,范畴论最高层
数学 · 函子之间的映射
自然变换是两个函子之间的"映射",是范畴论中最高层的箭头。如果函子F和G都把范畴C映到范畴D,自然变换给出了一种"协调一致"的方式把F(X)变到G(X)。范畴论名言:范畴是为了讨论函子,函子是为了讨论自然变换。
自然变换=函子之间的箭头,范畴论最高层