A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE

DOI10.1017/JSL.2017.59zbMATH Open1422.03135arXiv1507.02302OpenAlexW2962762829MaRDI QIDQ4600451FDOQ4600451

Authors: Dimitris Tsementzis 

Publication date: 11 January 2018

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1507.02302

Recommendations

• scientific article; zbMATH DE number 1890775
• Characterization of Morita equivalence pairs of quantales
• STRONG MORITA EQUIVALENCE AND THE SYNTHESIS THEOREM
• scientific article; zbMATH DE number 4065217
• scientific article; zbMATH DE number 2086607
• Inverse morphic equivalence on languages
• scientific article; zbMATH DE number 3928997
• Syntactic homomorphisms
• Structural equivalence and ET0L grammars

zbMATH Keywords

Morita equivalencecommon definitional extensionclassifying toposes

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Categorical logic, topoi (03G30) Topoi (18B25) Properties of classes of models (03C52)

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• Title not available (Why is that?)
• Classifying toposes for first-order theories
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Title not available (Why is that?)
• Properties Preserved under Definitional Equivalence and Interpretations
• Syntactic characterizations of properties of classifying toposes
• The Classifying Topos of a Continuous Groupoid. I
• The generalised type-theoretic interpretation of constructive set theory
• Duality and definability in first order logic
• Atomic toposes and countable categoricity
• Universal models and definability
• First-order logical duality
• Morita equivalence
• Stone duality for first order logic
• A lattice of interpretability types of theories
• Propositions as [Types]

Cited In (8)

• Valuative Lattices and Spectra
• On Morita equivalence and interpretability
• How to count structure
• Theoretical equivalence in classical mechanics and its relationship to duality
• Morita equivalence
• Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories
• Type space functors and interpretations in positive logic
• Geometric theories for the algebra of real numbers

This page was built for publication: A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4600451)