정의 자체가 드럽게 짜증나네요

Hom_D(F(-),-) 랑 Hom_C(-,G(-))랑 naturally isomorphic 하는걸 보여야되는데 natural한걸 보이는게 너무 귀찮...

rigth adjoint functor preserves limit(continuous)
left adjoint functor preserves colimit(cocontinuous)

은 요네다 렘마랑 adjunction정의 이용해서 쓱쑉싹 보여지는게 깔끔했음

다른 과목 공부하느라 오늘 진도는 목표보다 못나가서 슬퍼요 ㅠㅠ


- dc official App