Category Theory in Programming
(racket-lang.org)
Welcome to Category Theory in Programming, a journey into the conceptual world where mathematics meets software development.
Welcome to Category Theory in Programming, a journey into the conceptual world where mathematics meets software development.
Category Theory Illustrated: Logic (2021)
(abuseofnotation.github.io)
Logic is the science of the possible. As such, it is at the root of all other sciences, all of which are sciences of the actual, i.e. that which really exists.
Logic is the science of the possible. As such, it is at the root of all other sciences, all of which are sciences of the actual, i.e. that which really exists.