Interpretations in an elementary topos