naturality 보이는게 은근 귀찮은데
그냥 하니까 됬음

결국은 Yoneda embedding이 fully faithful이라는걸
증명하기위한 보조 정리라는 느낌을 받음

카테고리C의 모든 X,Y에 대해 h_X 랑 h_Y 가 isomorphic iff X랑 Y가 isomorphic한게 신기했음

왜 embedding이라는 이름이 붙었는지 이제 감좀 잡은것같음

예시로 free abelian group F_X^ab이랑 Z^(X)가 isomorphic 하다는것도
Hom_Ab(F_X^ab, -) functor랑 Hom_Ab(Z^(X), -) functor랑 isomorphic 하므로 인 F_X^ab이랑 Z^(X)도 isomorphic

내일은 limit이랑 colimit 공부해야징

- dc official App