>It also allows me to mine the literature or reuse things I've worked out in the past, for example exploiting monoidal structure for optimizing computation by leveraging associativity, for example.

This is an algebraic concept and it is possible to learn this idea directly in a software engineering context than a mathematical one.