cofork

1. Definition

Let 20230804-cofork_760824120891fc757bc0445145b027d09b237baa.svg be a category. A cofork is a diagram

20230804-cofork_86199694e8b51b9127ade3f2b3094223d6305b40.svg

shorthand for

20230804-cofork_c6cfb32babe00aa402034648062842aef15a4d9f.svg

such that

20230804-cofork_56495c028657032b2e6a014b8d760f48231a88fd.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:42