@ColinTheMathmo that reminds me: the best group theory my supervisor and I could think of is fundamental groups of topological spaces