기본 콘텐츠로 건너뛰기

라벨이 category theory인 게시물 표시

카테고리 씨어리 공부 중

뭐 그냥 그렇다고요.

 최근 몇 년을 회사 다니고 퇴사하자마자 알바하고, 그러면서 학교도 다니고 하다 보니까 개발은 죽어라 했는데 정작 기초 공부를 별로 안 한 거 같네요. 학교 다니면서 공부 안 하냐고요? 네. 안 해요. 그래서 문제죠. 그래서 이번에 알바도 끝난 기념으로 수학 공부를 해야지 하다가, 도서관에 가보니 마침 카테고리 씨어리에 대해 번역한 책이 있길래 카테고리 씨어리를 공부하기로 했어요.

 뭐 보통 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 foundations(게임 개발자를 위한 코딩 스쿨의 서광열 님이 추천해 주셨…