1 citations · 1 across the 2 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2022
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…
cs.DB2019★ 1 cited
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…