IMO math is backward compatible by default unless you change the foundational axioms (rare occurrence). In particular you can most of the time define morphisms

IMO math is backward compatible by default unless you change the foundational axioms (rare occurrence). In particular you can most of the time define morphisms between concepts.