Mathematics' Anarchitecture & Processes

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...