Morphisme de Théorie

Application préservant la structure entre théories formelles qui traduit symboles, formules et axiomes d'une théorie source en une théorie cible de façon à préserver la dérivabilité ou la conséquence modèle‑théorique ; souvent formalisée comme des homomorphismes de signatures accompagnés de traductions d'axiomes ou comme des interprétations entre théories.