https://alhassy.com Life & Computing Science — order-theory en-us https://alhassy.com/HeytingAlgebra https://alhassy.com/HeytingAlgebra?last-updated=2018-11-14 Wed Wed, 14 Nov 2018 00:00:00 +0000 How do friends communicate secretly using non-invertible operations such as minimum? An introduction to Heyting Algebra --an instance of Cartesian Closed Categories!