framing

→

functional programming

→

category theory as a level of abstraction above other maths

→

sets, algebra, topology

→