Introduction to Topos TheoryTopos theory is a branch of mathematics, based on category theory, which has connections to both algebraic geometry and mathematical logic. Within mathematical logic it can be used to give alternative, more flexible foundations for all of mathematics, and in particular provides the foundation for subjects such as synthetic differential geometry. More recently, the wo...
清华大学数学学科有着辉煌而悠久的历史和良好的育人传统。2009年12月清华大学成立数学科学中心,邀请国际著名数学家、首位华裔菲尔兹奖获得者丘成桐先生担任中心主任。作为支持清华大学发展数学学科的重大战略举措,2014年底教育部批准依托清华大学成立丘成桐数学科学中心。在丘成桐先生的领导下,数学科学中心已经建立了一支由顶尖学术大师和中青年数学家组成的研究队伍。2021年初, 清华大学在人才培养体系中另辟特区,设立...