Groups
Category
Lagrangian duality turns a constrained minimization problem into a related maximization problem that provides lower bounds on the original objective.
Measure theory generalizes length, area, and probability to very flexible spaces while keeping countable additivity intact.