172 citations · 796 across the 66 of their papers we have counts for
9 papers · 1 filter
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…
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…
Functorial Data Migration: From Theory to Practice
Ryan Wisnesky, David I. Spivak, Patrick Schultz +1
In this paper we describe a functorial data migration scenario about the manufacturing service capability of a distributed supply chain. The scenario is a category-theoretic analog…
The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
David I. Spivak
Wiring diagrams, as seen in digital circuits, can be nested hierarchically and thus have an aspect of self-similarity. We show that wiring diagrams form the morphisms of an operad…
Relational Foundations For Functorial Data Migration
David I. Spivak, Ryan Wisnesky
We study the data transformation capabilities associated with schemas that are presented by directed multi-graphs and path equations. Unlike most approaches which treat graph-based…
Kleisli Database Instances
David I. Spivak
We use monads to relax the atomicity requirement for data in a database. Depending on the choice of monad, the database fields may contain generalized values such as lists or sets…