pedagogy教程 : 函子式代数几何 [tutorial-funAG]