There's also a hurdle in having to work through the wildly varying notational and structural views/tastes of the individuals who created their specific categori

There's also a hurdle in having to work through the wildly varying notational and structural views/tastes of the individuals who created their specific categories/theories (biggest problem at least for me - while programming languages are nice and structured and standardized, traditional math is highly impure/unstandardized and relies too much on how individuals feel like when they write things down)