下の一つ目が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。</f3,b></f1,f2>

やめてました。