A pushforward is a pullback in the opposite category
Let be a category, and . A pushforward is an object with morphisms satisfying following universal property: For each Object and morphisms there exists a unique morphism such that following diagram commutes
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 15:45