主持人：林兆波 教授

时间： 2015年6月29日-7月3日,每天12:00-14:00；18:00-21:00

地点：首都师大北二区教学楼 130 教室

简介：（1）首先有一个 Category theory 的基本课程－Category 的理论。Representability，adjoints；Yoneda Theorem 和 例子。

（2）然后有几个专题：

a) Paige North（剑桥大学博士生）

simplicial sets, model categories and Homotopy Type Theory (related  to the very "hot" topic of Voevodsky's recent "univalent foundations"  program);

b) Georgios Charalambous（剑桥大学博士生）

Grothendieck toposes (results of sheaf theory of topological spaces will be recalled), then the algebraic geometric aspects of the theory, will try to explain how to generalize, to the topos level, the construction of the étale fundamental group of schemes;

c) Tamara von Glehn and Eric Faber（剑桥大学博士生）

Elementary Topos theory and the theory of fibrations, the interplay between logic and topology will be discussed, the necessary theory of elementary toposes and of fibered categories from a logical point of view will be developed.

欢迎全体师生积极参加！