[대학교이상] HoTT가 뭔지 이해하려면 뭘 공부해야 됨?

[익명(14.32)]

수리논리학 관련 글을 읽어보다가 이걸 알게 됐는데, 

이게 뭔지 이해하려면 어느 정도 알아야 되는지 궁금

[다믜(damhiya)]

HoTT book 봐

[익명(14.32)]

어느 정도의 수학까지 알아야 하는 지 물어본거

[다믜(damhiya)]

HoTT book part1은 HoTT의 기초를 다루고, part2는 HoTT에서 위상수학, 범주론, 집합론, 해석학 등을 하는법을 다룸. HoTT가 뭔지 이해하는 목표로 part1만 읽는다고 할 때 타입이론, 위상수학, 범주론 개념이 나오는데, 자연연역, λ-calculus, 학부 대수위상(호모토피), 카테고리 기초(universal property, adjoint functor) 정도 알면 해볼만 할듯.

[다믜(damhiya)]

근데 사실 part1에서 호모토피나 카테고리는 대충 넘겨도 큰 흐름에서 문제 없긴 함

[익명(14.32)]

감사