Scifaro

中文

Morita 等价的一种句法刻画

逻辑 2015-07-10 v1 范畴论

作者: Dimitris Tsementzis

在 arXiv 上查看 ↗ PDF ↗

摘要

我们利用 Barrett 和 Halvorson 为笛卡尔、正则、相干、几何及一阶理论发展的一种新的共同定义扩张句法概念，刻画了 Johnstone 意义下的理论 Morita 等价。这为在任意 Grothendieck 拓扑斯中自然具有等价模型范畴的两个理论之间的关系，提供了一种纯句法的刻画。

关键词

Morita 等价句法刻画共同定义扩张范畴逻辑 Grothendieck 拓扑斯 Johnstone

引用

@article{arxiv.1507.02302,
  title  = {A Syntactic Characterization of Morita Equivalence},
  author = {Dimitris Tsementzis},
  journal= {arXiv preprint arXiv:1507.02302},
  year   = {2015}
}