pullback as limit

1. Proposition

Let 20230923-pullback_as_limit_760824120891fc757bc0445145b027d09b237baa.svg be a category and 20230923-pullback_as_limit_cd0ff9796d5d44181802247ecadcd48ba7fe30fc.svg a pullback

20230923-pullback_as_limit_8fe06add4870a4375dcd576d3f5bbe654e953ca2.svg

Then 20230923-pullback_as_limit_cd0ff9796d5d44181802247ecadcd48ba7fe30fc.svg is also a limit of the diagram

20230923-pullback_as_limit_0603b07b4a78b91dafa19d73cd2299db533a2382.svg

2. Proof

follows from definitions

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 18:27