18 citations · 43 across the 7 of their papers we have counts for
5 papers · 1 filter
QINL: Query-integrated Languages
Patrick Schultz, David I. Spivak, Ryan Wisnesky
We describe an alternative solution to the impedance-mismatch problem between programming and query languages: rather than embed queries in a programming language, as done in LINQ…
String diagrams for traced and compact categories are oriented 1-cobordisms
David I. Spivak, Patrick Schultz, Dylan Rupel
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The ax…
Regular and exact (virtual) double categories
Patrick Schultz
We propose definitions of regular and exact (virtual) double categories, proving a number of results which parallel many basic results in the theory of regular and exact categories…
Algebraic Data Integration
Patrick Schultz, Ryan Wisnesky
In this paper we develop an algebraic approach to data integration by combining techniques from functional programming, category theory, and database theory. In our formalism, data…
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…