ABSTRACT
An interpolation property of cocomma squares of pretoposes is demonstrated and used to give a constructive version of the Makkai-Reyes Conceptual Completeness Theorem. These results are achieved by using category theory and in particular a certain functorial construction from pretoposes to Grothendieck toposes.
