@ganbold I actually like pure math. Got interested into category theory thanks to Haskell, which intersect a lot with topology and abstract algebra. Haskell peeps also love talking about algebra. That's how I'm familiar with most Math structure like Groups, Rings and Fields
I occasionally peek into Homotopy Type Theory which is the current hot topic around category theory and formalization of proofs. It also intersect with Programming Language Theory, which again Haskell peeps love to talk about
I also love abstraction in math. Like in this case even though technically the only real life examples of codes are string of binary, the operation around code can be abstracted away to operation on field. So rather than working with binary string directly might as well work with vector of finite fields and derive formula from there