Categories of theories and interpretations door