precomposition

1. Definition

Let 20230404215213-preceed_by_morphism_760824120891fc757bc0445145b027d09b237baa.svg be a small category, 20230404215213-preceed_by_morphism_49aa85fd8aa1c0a37f69c914dc28fc488836671a.svg objects and 20230404215213-preceed_by_morphism_97a87bf3386d9d22e8b4e5c831f624db9871c29b.svg a morphism Then for the hom-sets 20230404215213-preceed_by_morphism_5ae861d735143a47b3faf56b827e3c1328e0dccc.svg the precomposition morphism 20230404215213-preceed_by_morphism_9df84627a418c3bb16d7f790aae6e0493e3b3e83.svg is defined as:

20230404215213-preceed_by_morphism_48ebbea0ddd58d8df6242c9720d0bd8e14040669.svg

such that

20230404215213-preceed_by_morphism_7f11f0c4b5371711969770e48e86ab03d02f7d14.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 22:21