模函子(LZY)

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

预叠(Prestacks)

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