理开始，从函数到拓扑空间，再到多项式的过程，为大家介绍我今天的报告。”

林晓说完，后面的ppt也随之翻了一页。

“我们设为一个拓扑空间，而是一个范畴。一个中的对象在空间上的预层由如下数据给出：”

【对于每个中的开集，给定中一个对象f（u）】

【对于每个开集之间的包含关系v ? u，给定范畴中的一个态射rsu，v : f(u)→