I don't quite know what to make of the fact that higher category theory is simultaneously - a few fundamental ideas at the core of mathematics and their consequences - thousands of pages of dense maths - playing with the same funny little shapes over and over 😂