ALEXANDRIA, Va., Sept. 1 -- United States Patent no. 12,724,753, issued on Sept. 1, was assigned to Conexus ai Inc. (San Francisco).

"Automated spreadsheet exchange and integration" was invented by Ryan Jacob Wisnesky (San Francisco), Joshua Meyers (New York) and Eric Alexander Daimler (San Francisco).

According to the abstract* released by the U.S. Patent & Trademark Office: "A system and method are disclosed 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, and then performing one or more of "Kan-extension", "psuedo-colimit", and "lifting", and constructions from category theo...