I was exaggerating earlier. If your brain is trained to deal with that type of math that's about logic, that helps to also deal with programming so in that sense it's great.
I tried to find a random example of what I was joking about. There's something called a "quantale" in "linear logic". This here is the introduction for it on Wikipedia:
"In mathematics, quantales are certain partially ordered algebraic structures that generalize locales (point free topologies) as well as various multiplicative lattices of ideals from ring theory and functional analysis (C*-algebras, von Neumann algebras). Quantales are sometimes referred to as complete residuated semigroups."
It's like this is on a different planet than the type of math from high-school and what a beginner's course is about.