Real math majors find all this weird category-theoretic jargon in programming pretty dumb. Just so you know.
If a math major was interested in programming itself, in the meaning of programs or in neat abstractions for programming, they'd be in theoretical CS instead.
Do real math majors find the category theory in physics pretty dumb too?