수학의 실용적인 기초: 포괄적인 교과서

『수학의 실용적인 기초』는 1차 논리와 타입 이론부터 범주론과 종속 타입에 이르기까지 수학의 핵심 분야들을 체계적으로 소개하는 책입니다. 이 책은 실용적인 방향을 가지고 있으며, 명확한 설명과 많은 예시를 사용하여 독자가 추상적인 수학 개념을 이해하도록 돕습니다. 다루는 주제는 수리 논리학, 집합론, 부분 순서 집합과 격자, 데카르트 닫힌 범주, 극한과 여극한, 구조적 재귀, 随伴関手, 종속 타입을 이용한 대수 등입니다. 수학의 기초를 깊이 이해하고 싶은 사람들에게 매우 귀중한 자료입니다.