If you have not heard of category theory (at least in the Functional Programming sense), it is an effort to dig past years of Silicon Valley industry jargon and return software back to the underlying mathematics. But category theory and FP are not always on the same page. Moreover, the industry is keen to avoid another homotopy mess like we saw with OO.
Aerospace right now is the poster child for why the software industry cannot move forward into the space age in its current form. Bottom line, we cannot automate software until we know precisely what we are automating - and math is showing us the way.