Categorical Composition of Discrete Exterior Calculus Climate Models

Explore the Decapodes.jl framework in this 22-minute conference talk from ACM SIGPLAN's PROPL'24. Delve into a domain-specific language for specifying multiphysics equations and learn how complex systems are formally composed using undirected wiring diagrams. Discover how equations encoded in Discrete Exterior Calculus (DEC) enable automatic generation of performant simulation code. Examine the framework's application in climate modeling, focusing on three key examples: the Halfar glacial model, its composition with the Budyko-Sellers energy balance model, and the Klausmeier vegetation model. Gain insights into managing complexity in multiphysics systems through the composition of Decapode diagrams along physical quantities.