Pullback の一性質
下の一つ目がpullbackならば、二つ目もpullback。逆も成り立つ。
f2 A ------> B | | |f1 |f3 ↓ ↓ C -----> D f4 f2 A ---------> B | | |<f1,f2> |<f3,B> ↓ ↓ C×B -----> D×B f4×B
合わせると便利:
f A ------> B | | |A |B ↓ ↓ A -----> B f
はpullback。
下の一つ目がpullbackならば、二つ目もpullback。逆も成り立つ。
f2 A ------> B | | |f1 |f3 ↓ ↓ C -----> D f4 f2 A ---------> B | | |<f1,f2> |<f3,B> ↓ ↓ C×B -----> D×B f4×B
合わせると便利:
f A ------> B | | |A |B ↓ ↓ A -----> B f
はpullback。