范畴论(9)

像 $\text{Set,Grp,Ring}$ 这样的范畴称为具体范畴,它们的态射可以通过限制为集合上的映射确定,即如下定义: 阅读全文

模函子(LZY)

定义 设 $\calC$ 是一个范畴,通常是 $\text{Sch}/\calB$ 或者流形的范畴,或者代数空间。一个模函子 $$ \calM :\calC^{op} \to \text{Sets} $$ 是一... 阅读全文

预叠(Prestacks)

设 $\calS$ 是一个概形并且 $p:\calX \to \calS$ 是概形间的函子。接下来,我们用小写字母来指代 $\calX$ 中的元素,用大写字母指代 $\calS$ 中的元素。 ... 阅读全文