1 citations · 2 across the 6 of their papers we have counts for
6 papers
A Category-theoretic Reconstruction of Logical Expressivism
Kristopher Brown
In the philosophical tradition of `analytic pragmatism', which attempts to account for linguistic meanings in terms of their practices of use, logical expressivism is a theory whic…
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…
Categorical Data Integration for Computational Science
Kristopher Brown, David I. Spivak, Ryan Wisnesky
Categorical Query Language is an open-source query and data integration scripting language that can be applied to common challenges in the field of computational science. We discus…