Categories of theories and interpretations by