Bartosz Milewskis Category Theory for Programmers also has nice explanations for all these concepts. Haven't read through everything, but what I've read has been very high quality.

https://bartoszmilewski.com/2014/10/28/category-theory-for-p...