-
PDF Download
Matrices as relations
Matrices can be seen as graphs! This leads us to understand matrix multiplication as function composition.
-
PDF Download
Quotition vs. Partition
Two ways in which we can interpret the division operation. Say, when dividing 6 by 2, the resulting 3 can be thought of as 2 quotas or 3 partitions of 8.
-
Structures and Processes ofGalois Connection
A pervasive idea in mathematics called the adjoints and Galois connections can be understood in an accessible way by understanding them in the context of binary relations.
-
Calculus of Relations
A project to understand and develop algebraic calculi of relata and relations
-
An Elementary Introduction toCurry Howard de Bruijn Correspondence
An introduction to one of the most fascinating correspondences between computer science and mathematics from the perspective of a designer / developer