[일반] abelian category 공부중인데

[익명(211.234)]

X,Y가 abelian cateogry A의 들이고

f: X->Y 가 morphism임

im f 를 왜 ker coker f로 정의하는건지 모르겠음

- dc official App

[익명(211.234)]

image of f 라고 하면 universal pair(Imf , imf)이고 kernel of coker f 라고 하면 universal pair (Ker cokerf , ker coker f) 인데 Im f 랑 Ker coker f가 isomorphic 하다는거임? - dc App

[수갤러 1(106.102)]

뭔 책으로 보는 중?

[익명(211.234)]

교재는 Lang 대수책인데 교수님 강의노트 + 모르는거 구글링하면서 공부중임 위키피디아 검색해보니까 im f = ker coker f 이렇게 정의한다고 되어있었음 - dc App

[수갤러 2(106.102)]

3장 보는 중인거면 거긴 걍 이런게 있다도르로 넘기셈

[익명(episode5899)]

그렇게 안하면 어떻게 할 수 있겠음 - dc App

[카카오M(kakaothh)]

1st isom theorem을 염두해두고 읽으면 납득이 될거에요. Abelian cat가 1st isom thm이 잘되는 카테고리임. 그렇게 안하고 다른 방법으로도(universal property) 정의 가능하긴 함