Categorical Informatics

This page is a sub-page of our page on Category Theory.


Related KMR pages:

• …



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.





Leave a Reply

Your email address will not be published.