A related question: which part of math can be used to model object-oriented programming? AFAIK set theory deals purely with associations of objects, not how you make new ones. HS algebra is concerned with simplifying and inverting numeric equations. Meanwhile abstract algebra (and number theory) is concerned with finding talking about broad categories of numbers, relating those categories to each other, and making new, presumably interesting (read: surprising) statements about categories of numbers. Math is a study in "going meta" since each component of each activity gets a name, which are further grouped and named into other categories, limited only by what the thinker can stomach/finds useful.
But I am hard-pressed to think of any mathematical construct that reflects, even a little, the reality of OOP. This is evidence that OOP is an engineering concern, not a math concern. That is, OOP is one method to help humans deal with the complexity of a large amount of shared, mutable state (SMS), by partitioning it into smaller units of SMS. But math itself doesn't care about the scale of anything, and will happily encode any state into a single, very large integer, if you let it.
Some parts of programming are better grounded in math, like functional programming and relational algebra. Some distributed programming problems have some nice, ad hoc mathy treatment (e.g. Paxos), but don't really have a clear correspondence to anything.
Interesting the field that is closest to programming in real life, IMHO, is statistical thermodynamics. This is usually taught as part of the physics curriculum, and is pretty math intensive, and the field's remarkable job is to generally model microscopic behavior and then predict macroscopic behavior of huge aggregates. Programs always deal with huge numbers of tiny things, each having unique degrees of freedom, (alternatively, which have unique constraints), so there is some connection there. ST is also the field most closely related to certain "quant" jobs in the finance field, AFAIK, since the same tools let you model individuals in an economy and from that predict markets.