Hacker News Reader

This is what category theory attempts to do, except in an even more abstract sense, based on morphisms which generalise functions.

And Bartosz is the guy for category theory and programming. Highly recommend his YouTube lectures and book on the subject.

Which book is that? C++ in Action?

If not, I recommend reading it.

Thanks!

is category theory mathematics or computer science?

(why not both?)