[번역] 프로그래머를 위한 카테고리 이론 - 7. 펑터 | OKKY