Categorie Scientific Blog

The Cube Equation holds in lambda calculus, with the natural notion of residuals that is present there. It also holds in categories with pushouts, as  Barendregt expressed as an Exercise in his 1984 book, and which was around that time…

How did the subjects featuring in this site originate in the flow of science history? The road map here gives a small bird’s eye view. Originally, we are in the Foundations of Logic and Mathematics. After the monumental Theory of Types…