Group theory, abstraction, and the 196,883-dimensional monster | 3Blue1Brown | Podwise