I can recognise the homology between some constructs in Haskell and mathematical objects, but others I don't notice until they're explicitly pointed out.

Essentially, this kind of math is called category theory. There is this book, which is highly recommended, and fills your criteria decently well. I am currently working through this book, and I am happy to discuss things with you if you would like.