Homotopy Type Theory: Univalent Foundations of Mathematics

이번 학기에는 <Homotopy Type Theory: Univalent Foundations of Mathematics>를 함께 읽습니다. 우리의 주된 목표는 HoTT의 기술적 기초를 이해하고, 이것이 어떻게 호모토피 이론과 유형이론을 통합하는지를 파악하는 것입니다. 특히 단일가 공리 (Univalence Axiom)과 고차 귀납 타입(Higher Inductive Types)에 집중할 예정입니다.

• 교재: The HoTT Book (Link)

• 일정: 1월 5일 부터 매주 월요일 19시 (Weekly Online Seminar)

• 설문조사: Nextcloud Forms

• 슬랙: Workspace Link

25/26 겨울 HoTT 스터디는 26년 1월 5일 월요일 19시부터 매주 월요일 온라인으로 진행됩니다. 관심이 있으신 분은 링크를 통해 슬랙 워크스페이스의 공지를 확인, 참여해주세요!