« 单纯百科 Simplopedia
Wiki.
导出概形
[导出概形]
SimplicialCat
正如
概形
是基于环的几何对象, 导出概形是基于
生象
环的几何对象.