  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.
