John wrote:
>Any introduction to category theory contains these insights; two of my favorites are these free ones

Thanks for the links, I was planning to look at the Riehl's book and a few others after the course and the Seven Sketches, closer to winter, at the moment have time only for the latter two.