Yeah — but we’re still digesting the impacts. Eg, you see that algebra and geometry “reappear” in things like computing — and the different perspectives of dif

Yeah — but we’re still digesting the impacts. Eg, you see that algebra and geometry “reappear” in things like computing — and the different perspectives of difference equations (geometry) versus typed statements (algebra). Or, in things like category theory giving a framework where we can “abstract” arguments from different (type) theories that are the same “shape” — which has connected a number of fields.