In the previous post in this series, we made an outline of mathematical areas of programmer interests that we will explore together in 2020.
A major portion of the post was about how first-order and/or propositional logic is isomorphic with categori...
