직접 보이려니까 머리 터질것같네.. 강의노트에는 pointwise 하게 하면 된다는데 직접 universal property 보이는게 잘 안되네 universal pair의 2번째 원소를 뭘로 잡아줘야될지 감도 안잡히고 - dc official App
lim F_a 의 X 를 lim F_a(X) 로 정의하고 univ prop보이면 될텐데요
님천재? ㅗㅜㅑ