16 citations · 72 across the 14 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2021★ 15 cited
Categorical Data Structures for Technical Computing
Evan Patterson, Owen Lynch, James Fairbanks
Many mathematical objects can be represented as functors from finitely-presented categories to . For instance, graphs are functors to from…
math.CT2021★ 16 cited
Operadic Modeling of Dynamical Systems: Mathematics and Computation
Sophie Libkind, Andrew Baas, Evan Patterson +1
Dynamical systems are ubiquitous in science and engineering as models of phenomena that evolve over time. Although complex dynamical systems tend to have important modular structur…
math.CT2020★ 10 cited
Compositional Scientific Computing with Catlab and SemanticModels
Micah Halter, Evan Patterson, Andrew Baas +1
Scientific computing is currently performed by writing domain specific modeling frameworks for solving special classes of mathematical problems. Since applied category theory provi…