I know that you are memeing, but if are interested in category theory and have exp in functional programming; “category theory” for programmers is possibly a good place to start.