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