Category theory has an interesting parallel in software: functional programming and type theory heavily use categorical concepts (functors, monads, etc). The jump from pure math to climate modeling is ambitious, but the pattern of "abstract math finding unexpected applications" has precedent - group theory was pure math until physics needed it for symmetry analysis.
Category theory has an interesting parallel in software: functional programming and type theory heavily use categorical concepts (functors, monads, etc). The jump from pure math to climate modeling is ambitious, but the pattern of "abstract math finding unexpected applications" has precedent - group theory was pure math until physics needed it for symmetry analysis.