pushout

1. Definition

A pushforward is a pullback in the opposite category

2. Explicit

Let 20230806-pushforward_760824120891fc757bc0445145b027d09b237baa.svg be a category, 20230806-pushforward_241be2f7b2e1ed205951d9f74bb29dd69f4888cd.svg and 20230806-pushforward_a722451ed182a373c875f85121348637f729582b.svg. A pushforward is an object 20230806-pushforward_cd0ff9796d5d44181802247ecadcd48ba7fe30fc.svg with morphisms 20230806-pushforward_41b21969ab23c2e253516a863d802061bb2e71dd.svg satisfying following universal property: For each Object 20230806-pushforward_359b65cb94c676c206b2cacda97dbfac99fd7ed3.svg and morphisms 20230806-pushforward_c75b7a2a20f0941752a6619d29eea0e7a0187e7d.svg there exists a unique morphism 20230806-pushforward_7a48eb475f2093587a764803a8571d00d38bdd77.svg such that following diagram commutes

20230806-pushforward_b60a462b3f13a9abfd5c9088a4c0001f8db507e8.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:45