regular epimorphism

1. Definition

Let 20231215-regular_epimorphism_760824120891fc757bc0445145b027d09b237baa.svg be a category and 20231215-regular_epimorphism_4ca909b1c9c0f2abd02aede7415f3ecb7e85381f.svg objects.

A regular epimoprhism is a morphism

20231215-regular_epimorphism_3e14c722266d1077f4e243ac3153f18fafcd7ca4.svg

such that 20231215-regular_epimorphism_5461866a7289ba4c56a10a82a5622bfbdcb4ae22.svg with 20231215-regular_epimorphism_ccda4f3d79b188d47d3d14d7b71cfcde42b0c6c3.svg is a coequalizer, i.e. there exist some 20231215-regular_epimorphism_9c8bdb9f6ad11c13881249483fa93b024273b477.svg and morphisms 20231215-regular_epimorphism_0a9119ac0cdbd77f7b4b4b39e42a6323ffc4d849.svg such that

20231215-regular_epimorphism_b41357e9a71f3ea3af99e9884fc6abc2f90e9c8a.svg

is universal

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 23:51