Here is a birds-eye view of programming (classic, functional, quantum) vs category theory vs logic -- aka the computational trilogy: https://ncatlab.org/nlab/s

Here is a birds-eye view of programming (classic, functional, quantum) vs category theory vs logic -- aka the computational trilogy: https://ncatlab.org/nlab/show/computational+trilogy https://ncatlab.org/nlab/show/computational+trilogy It helped me a lot putting into context my existing programming knowledge while learning category theory