top | item 45858806

(no title)

pesfandiar | 3 months ago

Mathematics doesn't need to remain backward compatible.

discuss

order

somethingsome|3 months ago

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.