I'm trying to map out how certain mathematical subjects depend on each
other, i.e. which subjects could be described as prerequesites for
which other subjects, in the sense that the former define needed or
helpful concepts for the latter. In a crude ascii diagram, which
might look messed up...