拉回
数学 · 范畴论里的交集
术语解释
拉回(Pullback)是范畴论中两个映射在目标空间上的"广义交集"。给定f:A→C和g:B→C,拉回就是{(a,b)|f(a)=g(b)}。几何中拉回可以构造纤维积。编程中pullback就是把一个空间上的函数通过映射"拉"到另一个空间。
怎么理解
拉回=范畴论的交集,两个映射的广义纤维积
数学 · 范畴论里的交集
拉回(Pullback)是范畴论中两个映射在目标空间上的"广义交集"。给定f:A→C和g:B→C,拉回就是{(a,b)|f(a)=g(b)}。几何中拉回可以构造纤维积。编程中pullback就是把一个空间上的函数通过映射"拉"到另一个空间。
拉回=范畴论的交集,两个映射的广义纤维积