预层

编辑 变更圈子

查看历史

分享

举报

1. 一个上的集合预层是一个法则，对每个开集都有一个集合与之对应，对每个包含映射都有一个映射与之对应，使得，并且对任意，我们有。

2. 一个上集合预层的态射是一个法则，对每个开集都有一个函数与之对应，该函数与限制映射兼容，即对任意开集，图

是交换的。