This page is a sub-page of our page on Category Theory.
///////
Related KMR pages:
• …
///////
Books:
• Category Theory for the Sciences by David I. Spivak
• Conceptual Mathematics: A First Introduction to Category Theory by F. William Lawvere and Stephen H. Schanuel, Cambridge University Press, 1997
///////
Other relevant sources of information:
• Categorical Informatics at David I Spivak’s home page.
• Refactor your legacy database – without breaking what relies on it: High-assurance data integration with mathematical rigor.
• Correct-by-construction Casper | A Visualization for the Future of Blockchain Consensus.
///////
Negozilla:
///////