Wiki. “F1” [F1]SimplicialCat Borger 绝对几何 环 $R$ 上的 λ-环结构可视为到 “$\operatorname{Spec}\mathbb F_1$” 的下降资料. 相关概念 函数域类比