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
Mathtuition88 