Maybe.
Jocelyn Ireson-Paine has a deep knowledge of the problems and some solutions for spreadsheets:
https://johncarlosbaez.wordpress.com/2014/02/05/category-the...
Paine has long worked with the European Spreadsheet Risks Interest Group (eusprig.org) and has used category theory to develop a system in Prolog called Excelsior about which he says "Excel lacks features for modular design. Had it such features, as do most programming languages, they would save time, avoid unneeded programming, make mistakes less likely, make code-control easier, help organisations adopt a uniform house style, and open business opportunities in buying and selling spreadsheet modules. I present Excelsior, a system for bringing these benefits to Excel."
Examples of Excelsior:
"Less Excel, More Components: presentation to EuSpRIG 2008 [by] Jocelyn Ireson-Paine":
https://www.j-paine.org/eusprig2008/index.html
"Excelsior: bringing the benefits of modularisation to Excel":
http://j-paine.org/eusprig2005_pres/presentation.html
"Rapid Spreadsheet Reshaping with Excelsior:
multiple drastic changes to content and layout
are easy when you represent enough structure":
https://arxiv.org/pdf/0803.0163.pdf
Paine's home page:
http://www.j-paine.org
Paine's Safer Spreadsheet twitter:
https://twitter.com/SafeSpreadsheet