regular monomorphism

1. Definition

Let 20231215-regular_monomorphism_760824120891fc757bc0445145b027d09b237baa.svg be a category and 20231215-regular_monomorphism_4ca909b1c9c0f2abd02aede7415f3ecb7e85381f.svg objects.

A regular monomorphism is a morphism

20231215-regular_monomorphism_3e14c722266d1077f4e243ac3153f18fafcd7ca4.svg

such that 20231215-regular_monomorphism_5461866a7289ba4c56a10a82a5622bfbdcb4ae22.svg with 20231215-regular_monomorphism_3f0d1a599184c702673acd54eb025009a6fee805.svg is a equalizer, i.e. there exist some 20231215-regular_monomorphism_9c8bdb9f6ad11c13881249483fa93b024273b477.svg and morphisms 20231215-regular_monomorphism_0a9119ac0cdbd77f7b4b4b39e42a6323ffc4d849.svg such that

20231215-regular_monomorphism_4516961c5392cebc55c2cd98893f1026fe7ba7d3.svg

is universal

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 23:51