J Shinavier, R Wisnesky, JG Meyers - arXiv e-prints, 2019 - ui.adsabs.harvard.edu
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 …