森田对等的句法表征
A Syntactic Characterization of Morita Equivalence
摘要：
我们的特点森田等价的理论在约翰斯通的意义上的一个共同的定义扩展巴雷特和Halvorson的carnival，定期，连贯，几何和一阶理论开发的一个新的句法概念。这提供了一个纯粹的语法表征之间的关系的两个理论，具有等价的范畴的模型自然在任何格罗滕迪克拓扑。
英文摘要：
We characterize Morita equivalence of theories in the sense of Johnstone in terms of a new syntactic notion of a common definitional extension developed by Barrett and Halvorson for cartesian, regular, coherent, geometric and first-order theories. This provides a purely syntactic characterization of the relation between two theories that have equivalent categories of models naturally in any Grothendieck topos.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
