Categorical Informatics

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:

Negozilla

///////

Leave a Reply