Thank you so much for teaching this class, John! Reading and (modestly) participating finally got me to a level of understanding from where I can read other resources about applied category theory. I hope that I can apply what I learned to software verification and programming one day!

At the moment I am busy with other things, but I hope to revisit this class soon and fill up the "No Pain, No Gain"-Threads started by me to make it easier for newcomers to catch up :)