论文标题
建设性代数的广义空间
Generalized spaces for constructive algebra
论文作者
论文摘要
这项贡献的目的是对特定的叙述进行连贯的描述，该叙述将语言环境，几何理论，捆式语义和建设性的交换代数联系起来。我们希望能够牢固地掌握三个想法：（1）环境是一种空间，其中打开而不是要点是基本的。 （2）捆绑语义使我们能够从定制的数学宇宙中探索数学对象。 （3）在没有一般性的情况下，任何还原的环是一个场。
The purpose of this contribution is to give a coherent account of a particular narrative which links locales, geometric theories, sheaf semantics and constructive commutative algebra. We are hoping to convey a firm grasp of three ideas: (1) Locales are a kind of space in which opens instead of points are fundamental. (2) Sheaf semantics allows us to explore mathematical objects from custom-tailored mathematical universes. (3) Without loss of generality, any reduced ring is a field.
