Yale’s Sam Raskin has solved a major portion of a math question that could lead to a translation theory for some areas of math.