ペースティング則
pasting law
2つ並んだ可換な四角形を考えた時、
引き戻し
（あるいは
押し出し
）について成り立っている
引き戻し補題
pullback lemma
押し出し補題
pushout lemma
reference.icon
pasting law for pullbacks in nLab