pre abelian인데 abelian하지 않은 category


처음에 아벨리안 카테고리 공부할땐 


"monos면 어떤 morphism의 kernel, epis면 어떤 morphism의 cokernel" 


이게 왜 필요한지도 의아했는데, 확실히 나머지 axiom들로부터 유도가 안되더라


additive한데 abelian하지 않은 카테고리야 반례가 간단한데


pre-abelian인데 abelian하지 않은 카테고리는 반례가 안 보임


이거 반례 아는 수잘갤럼 있노