I can understand that category theory is alien to most developers, but lambda calculus? Isn't it similarly basic knowledge in CS as Turing machines, finite state automata etc?
Software engineering != Computer science
Do you really think this or are you just projecting elitism?
Formal theory of computation (finite state automata etc.) was also a higher level elective that depended on your concentration.