Consensus-Free Spreadsheet Integration
Brandon Baylor, Eric Daimler, James Hansen, Esteban Montero, Ryan Wisnesky

TL;DR
This paper introduces a category theory-based method for merging multiple spreadsheets without requiring consensus among authors, ensuring semantics preservation and enabling scalable engineering model integration.
Contribution
It presents a novel, formal approach using algebraic theories and category theory to merge spreadsheets without consensus, demonstrated through a real-world engineering case study.
Findings
Successfully integrated two engineering spreadsheets preserving semantics.
Automated theorem proving verified the correctness of the integration.
Method enables scalable, consensus-free engineering model merging.
Abstract
We describe a method for merging multiple spreadsheets into one sheet, and/or exchanging data among the sheets, by expressing each sheet's formulae as an algebraic (equational) theory and each sheet's values as a model of its theory, expressing the overlap between the sheets as theory and model morphisms, and then performing colimit, lifting, and Kan-extension constructions from category theory to compute a canonically universal integrated theory and model, which can then be expressed as a spreadsheet. Our motivation is to find methods of merging engineering models that do not require consensus (agreement) among the authors of the models being merged, a condition fulfilled by our method because theory and model morphisms are semantics-preserving. We describe a case study of this methodology on a real-world oil and gas calculation at a major energy company, describing the theories and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSpreadsheets and End-User Computing · Reservoir Engineering and Simulation Methods
