category C가 complete할 필요충분 조건은
C가 모든 equalizer와 모든 product를 가진다를 보였는데

이제 universal property에 좀 익숙해진것 같네요

Category이론은 그림이랑 화살표 잘 그리는게 중요한것같다는 생각이드네요

내일은 adjunction이랑 monomorphism, epimorphism을 공부해야겠어요

- dc official App