Window Lemma for pullbacks

1. Proposition

Let 20231102-window_lemma_for_pullbacks_760824120891fc757bc0445145b027d09b237baa.svg be a category and

20231102-window_lemma_for_pullbacks_ed07546ad3b64fdf224619f2e0d84d5a3f49e066.svg

be a commutative diagram, such that

20231102-window_lemma_for_pullbacks_708d577677dd65325717d174d0cf875fb0dcbe82.svg

and

20231102-window_lemma_for_pullbacks_187ec7029c5333ac8f88fec7d33a987bc63e270a.svg

are pullbacks

Then

20231102-window_lemma_for_pullbacks_162979d279091a7ea3b4c5c55c952b58e6ed73cb.svg

is also a pullback

2. Proof

dually to Window lemma for pushouts Note that the order is reversed

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 18:59