generated at
2/18/2025, 5:48:50 PM
ペースティング則
pasting law
2つ並んだ可換な四角形を考えた時、
引き戻し
（あるいは
押し出し
）について成り立っている
引き戻し補題
pullback lemma
押し出し補題
pushout lemma
pasting law for pullbacks in nLab