I was okay-ish reading it right after “Category Theory for Programmers” by Bartosz Milewski.