regular category

1. Definition

Let 20231215-regular_category_760824120891fc757bc0445145b027d09b237baa.svg be a category

Then 20231215-regular_category_760824120891fc757bc0445145b027d09b237baa.svg is said to be regular, if

  1. 20231215-regular_category_760824120891fc757bc0445145b027d09b237baa.svg is finitely complete category
  2. any kernel pair admits a coequalizer
20231215-regular_category_5e61161e26d02c0b956b620baa80c9314d8de899.svg
  1. regular epimorphism are stable under pullbacks

regular epimorphism

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 23:50