abelian category

1. Definition

Let \(\mathcal{C}\) be a pre-abelian category. Then \(\mathcal{C}\) is said to be an abelian category, if every

  1. monomorphism is a normal monomorphism
  2. epimorphism is a normal epimorphism

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:59