Created a wiki-page to make navigation of this discussion page easier, similar to [https://www.azimuthproject.org/azimuth/show/Applied+Category+Theory+Course](https://www.azimuthproject.org/azimuth/show/Applied+Category+Theory+Course):

[https://www.azimuthproject.org/azimuth/show/Programming+With+Categories+Course](https://www.azimuthproject.org/azimuth/show/Programming+With+Categories+Course)