[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] | | Integers | Cantor complex polynomials | |-|---------|------------------| | Base ring | $\mathbb{Z}$ | $\mathbb{C}_C[\epsilon]$ | | Field at prime | $\mathbb{Z}/p$ | $\mathbb{C}_C[\epsilon]/(\epsilon - z) \cong \mathbb{C}_C$ | | Weil algebra at prime power | $\mathbb{Z}/p^n$ | $\mathbb{C}_C[\epsilon]/(\epsilon - z)^n$ | | Topological completion | $\mathbb{Z}_{p}$ | $\mathbb{C}_C[[\epsilon - z]]$ | Shapes as types, to define extension types... category: redirected to nlab