Pullback の一性質(2個目)
Pullback の一性質に似てるけど別の性質。簡単だけどあまり見たことない。
下の図は Pullback。
G×f G×A ------> G×B | | | | |π |π | | ↓ f ↓ A ---------> B
証明は簡単なので省略。
Pullback の一性質に似てるけど別の性質。簡単だけどあまり見たことない。
下の図は Pullback。
G×f G×A ------> G×B | | | | |π |π | | ↓ f ↓ A ---------> B
証明は簡単なので省略。