1 citations · 2 across the 6 of their papers we have counts for
4 papers · 1 filter
GATlab: Modeling and Programming with Generalized Algebraic Theories
Owen Lynch, Kris Brown, James Fairbanks +1
Categories and categorical structures are increasingly recognized as useful abstractions for modeling in science and engineering. To uniformly implement category-theoretic mathemat…
Dynamic Tracing: a graphical language for rewriting protocols
Kristopher Brown, David I. Spivak
The category Set_* of sets and partial functions is well-known to be traced monoidal, meaning that a partial function S+U -/-> T+U can be coherently transformed into a partial func…
Compositional Exploration of Combinatorial Scientific Models
Kristopher Brown, Tyler Hanks, James Fairbanks
We implement a novel representation of model search spaces as diagrams over a category of models, where we have restricted attention to a broad class of models whose structure is p…
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…