pushout as colimit

1. Proposition

Let 20230923-pushout_as_colimit_760824120891fc757bc0445145b027d09b237baa.svg be a category and 20230923-pushout_as_colimit_cd0ff9796d5d44181802247ecadcd48ba7fe30fc.svg a pushout Then 20230923-pushout_as_colimit_cd0ff9796d5d44181802247ecadcd48ba7fe30fc.svg is also a limit of the diagram

20230923-pushout_as_colimit_cbd3804551dc983ec4fb4f4836b966f965c7780f.svg
20230923-pushout_as_colimit_eb300a461da84fd4c659add304fac6b4a8e76da8.svg

2. Proof

definitions or dually from pullback as limit

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 18:27