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.
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.