[twic]

Another attempt at that diagram, with more structures but less detail on how they differ:

http://us.metamath.org/mpegif/mmtopstr.html