目录
  1. 1. 拉回 Pullbacks
    1. 1.1. 泛性质
    2. 1.2. 性质
    3. 1.3. 在编程中
    4. 1.4. 参考
拉回 Pullbacks

拉回 Pullbacks

在范畴论Category Theory中,一个数学分支,拉回Pullback(也称为纤维积或笛卡尔方块)是由具有公共上域的两个态射 f:XZf:X \to Zg:YZg:Y \to Z 组成的图表的极限。拉回经常写作

P=X×ZY.P=X\times _{Z}Y.

In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit of a diagram consisting of two morphisms f:XZf:X \to Z and $ g:Y \to Z $ with a common codomain. The pullback is often written

P=X×ZY.P=X\times _{Z}Y.

泛性质

态射 ffgg 的拉回由一个对象P和两个态射 p1:PXp1 : P → Xp2:PYp2 : P → Y 组成,使得图表

CategoricalPullBack-03

交换Commute。并且拉回 (P,p1,p2)(P, p1, p2) 对这个图表必须是通用的。这便是说,任何其它这样的三元组 $(Q, q1, q2) $ 一定存在惟一的 u:QPu : Q → P 使得图表

CategoricalPullback-04

交换Commute。和所有泛构造Universal Construction一样,拉回如果存在必然在同构的意义下是惟一的。

性质

  • 如果 X×ZYX ×_{Z}Y