M_i, N_i가 각각 A_i-module이고


M= colim M_i, N = colim N_i, A= colim A_i이라고 할 때


colim (M_i @_{A_i} N_i) = M @_A N임을 보이려고 하는데


hom-tensor adjunction을 써서 보이고 싶습니다.


어떻게 해야 하나요?