subject导出代数几何 [导出代数几何]

导出代数几何是使用高阶范畴语言建立的代数几何.

传统代数几何的基本代数对象是集合范畴中的交换环, 而导出代数几何将其替换为无穷范畴语境中的交换代数, 其一种模型是所谓连合 (connective) 交换 DG 代数. 由此, 与传统的函子式代数几何类似的思路可以定义仿射概形, 叠等几何对象.

在单纯百科中, 由于我们常常默认无穷范畴语境, 故有关代数几何的概念常常默认属于导出代数几何.