프로그래머를 위한 카테고리 이론

[번역] 프로그래머를 위한 카테고리 이론 - 0. 서문

왜 지금 프로그래머에게 카테고리 이론이 필요한가

[번역] 프로그래머를 위한 카테고리 이론 - 1. 카테고리: 합성의 본질

대상보다 관계로 사고하는 법, 합성의 관점으로 시작하기

[번역] 프로그래머를 위한 카테고리 이론 - 2. 타입과 함수

타입 시스템과 함수 합성으로 이해하는 카테고리의 기초 문법

[번역] 프로그래머를 위한 카테고리 이론 - 3. 다양한 카테고리들

집합을 넘어선 세계, 크고 작은 카테고리의 풍경

[번역] 프로그래머를 위한 카테고리 이론 - 4. 크라이슬리 카테고리

부수효과를 합성 가능하게 만드는 모나드의 출발점

[번역] 프로그래머를 위한 카테고리 이론 - 5. 곱과 합

곱 타입과 합 타입을 보편적 구성으로 다시 읽기

[번역] 프로그래머를 위한 카테고리 이론 - 6. 단순한 대수적 타입

대수적 데이터 타입을 카테고리적 시선으로 재해석하기

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

구조를 보존한 채 맥락을 옮기는 매핑의 규칙

[번역] 프로그래머를 위한 카테고리 이론 - 8. 펑터의 특성

항등과 합성 보존, Functor 법칙이 필요한 이유

[번역] 프로그래머를 위한 카테고리 이론 - 9. 함수 타입

지수 객체와 커링으로 연결되는 함수형 사고의 확장

[번역] 프로그래머를 위한 카테고리 이론 - 10. 자연 변환

펑터 사이를 잇는 변환, 구조적 일관성의 핵심

[번역] 프로그래머를 위한 카테고리 이론 - 11. 선언적 프로그래밍

카테고리적 사고가 명세 중심 코드를 가능하게 하는 방식