fork

1. Definition

Let 20230804-fork_760824120891fc757bc0445145b027d09b237baa.svg be a category. A fork is a diagram

20230804-fork_2614462cd03c873356606b70839827e98c143405.svg

such that

20230804-fork_dd9c2a8663edb15d1007cbebafc7a5212098e3a8.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:42