例子

例题 (预层是预叠) 考虑 $F: \calS^{op} \to \text{Sets}$ 是一个逆变预层，我们可以构造以下的预叠 $\calX_F:\calX_F \to S$, 这里的 $\calX_F$ 是由对象 $(a,S)$ 构成...