论文标题
无点的空间，点
Generalized point-free spaces, pointwise
论文作者
论文摘要
我们调查了Grothendieck广义空间的基本原理，包括各种术语的关键词汇表。使用广义点的已知结果支持这些基本无点结构的完全侧重符号。这包括一些来自依赖类型的理论，用于将捆绑包作为连续的空格值地图，将基本点映射到纤维。
We survey foundational principles of Grothendieck's generalized spaces, including a critical glossary of the various, and often conflicting, terminological usages. Known results using generalized points support a fully pointwise notation for these essentially point-free structures. This includes some from dependent type theory to deal with bundles as continuous space-valued maps, mapping base point to fibre.
