中文

德摩根定律与域理论

范畴论 2013-04-26 v1 逻辑

摘要

我们证明了域理论的分类 topos 不满足德摩根定律,并确定了其最大的稠密德摩根子 topos 为特征非零且在其素域上代数的域理论的分类 topos。

关键词

引用

@article{arxiv.0808.1972,
  title  = {De Morgan's law and the theory of fields},
  author = {Olivia Caramello and Peter Johnstone},
  journal= {arXiv preprint arXiv:0808.1972},
  year   = {2013}
}