7 citations · 13 across the 8 of their papers we have counts for
11 papers
Algebraic Model Management: A Survey
Patrick Schultz, David I. Spivak, Ryan Wisnesky
We survey the field of model management and describe a new model management approach based on algebraic specification.
Consensus-Free Spreadsheet Integration
Brandon Baylor, Eric Daimler, James Hansen +2
We describe a method for merging multiple spreadsheets into one sheet, and/or exchanging data among the sheets, by expressing each sheet's formulae as an algebraic (equational) the…
Fast Left Kan Extensions Using The Chase
Joshua Meyers, David I. Spivak, Ryan Wisnesky
We show how computation of left Kan extensions can be reduced to computation of free models of cartesian (finite-limit) theories. We discuss how the standard and parallel chase com…
Informal Data Transformation Considered Harmful
Eric Daimler, Ryan Wisnesky
In this paper we take the common position that AI systems are limited more by the integrity of the data they are learning from than the sophistication of their algorithms, and we t…
Algebraic Property Graphs
Joshua Shinavier, Ryan Wisnesky, Joshua G. Meyers
We present a case study in applied category theory written from the point of view of an applied domain: the formalization of the widely-used property graphs data model in an enterp…
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…