Homotopy Type Theory: Univalent Foundations of Mathematics
이번 학기에는 <Homotopy Type Theory: Univalent Foundations of Mathematics>를 함께 읽습니다. 우리의 주된 목표는 HoTT의 기술적 기초를 이해하고, 이것이 어떻게 호모토피 이론과 유형이론을 통합하는지를 파악하는 것입니다. 특히 단일가 공리 (Univalence Axiom)과 고차 귀납 타입(Higher Inductive Types)에 집중할 예정입니다.
교재: The HoTT Book (Link)
일정: 미정 (Weekly Online Seminar)
설문조사: Nextcloud Forms
슬랙: Workspace Link
25/26 겨울 HoTT 스터디는 아직 일정이 정해지지 않았습니다. 관심이 있으신 분은 위에 링크를 통해 설문조사를 해주시고, 역시 링크를 통해 슬랙 워크스페이스로 와주세요!
과거 있었던 스터디 주제를 확인하시려면 Archive 페이지를 참고 부탁드립니다.