I'm talking from a graduate perspective, but the courses I TAd for undergrad were not what I would call 'primitive engineering' as there is an emphasis on analy

I'm talking from a graduate perspective, but the courses I TAd for undergrad were not what I would call 'primitive engineering' as there is an emphasis on analysis and rigor. It is a science to be able to build programs and prove things about them. It is way more abstract maths than anything in engineering (linear algebra still has some physical grounding in reality, where category theory is more for the organization of mind).