题目： 同伦类型论简介

主讲人：邹婷湘 （ILLC，University of Amsterdam）

时间：12月26日（星期五）下午3点

地点：人文学苑2号楼（哲学系）B112

摘要：同伦类型论（Homtopy Type Theory, HoTT）是近年来很活跃的一个新兴跨学科领域。它结合了代数拓扑中的重要分支--同伦论（Homotopy Theory ）以及在计算机中应用广泛的一类形式系统--内涵类型论（Intensional Type Theory)。数学家沃埃沃德斯基（Vladimir  Voevodsky）将一价公理（Univalent Foundation）引入同伦类型论中，并发起以同伦类型论为新的数学基础的一价基础运动（Univalent Foundation Program）。本次报告将会简单介绍同伦类型论以及一价基础运动。