Life & Computing Science — category-theory https://alhassy.com Life & Computing Science — category-theory en-us Graphs are to categories as lists are to monoids https://alhassy.com/PathCat https://alhassy.com/PathCat?last-updated=2018-12-24 19:29 Mon, 24 Dec 2018 19:29:00 +0000 A fast-paced introduction to Category Theory based on the notion of graphs. Discovering Heyting Algebra 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!