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 스터디는 아직 일정이 정해지지 않았습니다. 관심이 있으신 분은 위에 링크를 통해 설문조사를 해주시고, 역시 링크를 통해 슬랙 워크스페이스로 와주세요!