[simendsjo]

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

[phs]

His video lecture series is also well-paced.

https://www.youtube.com/user/DrBartosz/videos

[classified]

Milewski's explanations are among the best of what you can find on the net. Much better than OP anyway.