카테고리 씨어리 공부 중
뭐 그냥 그렇다고요. 최근 몇 년을 회사 다니고 퇴사하자마자 알바하고, 그러면서 학교도 다니고 하다 보니까 개발은 죽어라 했는데 정작 기초 공부를 별로 안 한 거 같네요. 학교 다니면서 공부 안 하냐고요? 네. 안 해요. 그래서 문제죠. 그래서 이번에 알바도 끝난 기념으로 수학 공부를 해야지 하다가, 도서관에 가보니 마침 카테고리 씨어리에 대해 번역한 책이 있길래 카테고리 씨어리를 공부하기로 했어요. 뭐 보통 CS하는 사람들은 대부분 리니어 알제브라나 확률 쪽을 공부하는 거 같아서 그쪽을 공부하려고 했는데 뭐 그쪽은 워낙에 취향이 안 맞아서.... 카테고리 씨어리는 아직 제대로 공부한 적이 있어서 재미있는지 없는지 모르니 그냥 하려고요. 언젠가는 확률이랑 선대도 다시 공부하겠죠. 음. 카테고리 씨어리가 뭔지 간단히 소개하고 싶지만, 그런 게 가능하면, 새삼스레 공부하고 있지도 않겠죠. 전체 내용이나 다른 분야의 사람들이 어떻게 쓰는지는 모르겠고, 그냥 컴싸하는 사람들이 관심 있는 부분만 말하면, 이걸 이용해서 함수들의 알제브라를 구성하거나 타입을 인자로 하는 함수의 합성 같은 걸 하면 어떻게 될까 같은 내용이에요. 보고 있는 자료는 임근빈씨가 집필한 카테고리론 (아마 한국어로 된 유일한 카테고리씨어리 관련 책이 아닐까 합니다.) , Michael Barr씨와 Charles Wells씨가 집필한 Category Theory for Computing Science (제목에 끌렸고, 모든 문제에 솔루션이 달려있다는 것 때문에 선택했는데 좀 많이 기네요.) , Jaap van Oosten씨가 집필한 Basic Category Theory (그냥 구글 검색해서 제일 처음에 있더라고요) 등을 보고, 유튜브에 올라온 Martin Codrington씨의 Category Theory: The Beginner’s Introduction 와 Steve Awodey씨의 Category theory found...