51 citations · 164 across the 17 of their papers we have counts for
4 papers · 1 filter
Computational category-theoretic rewriting
Kristopher Brown, Evan Patterson, Tyler Hanks +1
We demonstrate how category theory provides specifications that can efficiently be implemented via imperative algorithms and apply this to the field of graph rewriting. By examples…
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…
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…
Wiring diagrams as normal forms for computing in symmetric monoidal categories
Evan Patterson, David I. Spivak, Dmitry Vagner
Applications of category theory often involve symmetric monoidal categories (SMCs), in which abstract processes or operations can be composed in series and parallel. However, in 20…