I don't engage in programming languages, but recently read the papers used to use category, so I started learning. James cheney in his
The home page is put
Category THEORY for Dummies, who is just suitable for people who know the abstract mathematics.
LTU is good at all things.