옛날에 누가 box topology와 product topology의 차이를 모르겠다고 올린 글에 그게 universal property랑 관련 있다는 댓글 보고 띠용? 했는데 범주론의 product를 배우고 나니 감이 오네. 아직 universal property랑 무슨 관련 있는지는 모르겠지만 위키를 보니 universal property의 특수한 경우가 limit이고 limit의 특수한 경우가 product인 듯하네.