Functorial Data Migration


In this talk we describe functorial data migration from a re-writing perspective, by way of the open-source CQL tool from We describe how co-presheaves and their lifting problems can be finitely presented, how solving word problems in categories enables computational category theory, and some techniques for performing functorial data migration using chase algorithms.

Friday, October 6, 2023 15:00 Europe/Paris
GReTA seminar
Ryan Wisnesky
Ryan Wisnesky
Chief Technology Officer and Co-Founder

Ryan Wisnesky obtained B.S. and M.S. degrees in mathematics and computer science from Stanford University and a Ph.D. in computer science from Harvard University, where he studied the design and implementation of provably correct software systems. Previously, he was a postdoctoral associate in the MIT department of mathematics, where he developed the CQL query language based on category theory. He currently leads open-source and commercial development of CQL as CTO of Conexus AI. He maintains an active collaboration with the information-integration department of IBM Research, where he contributed to the Clio, Orchid, and HIL projects.