[somethingsome]

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.