Advanced Programming needs Advanced Math: eg.

Video Game **Animation**: Verlet Integration

**AI**: Stats, Probability, Calculus, Linear Algebra

**Search Engine** : PageRank: Linear Algebra

**Abstraction** in Program “Polymorphism” : Monoid, Category, Functor, Monad

Program “**Proof**” : Propositions as Types, HoTT

https://awalterschulze.github.io/blog/post/neglecting-math-at-university/

Abstraction: Monoid, Category

Category