The arrows generally indicate addition of new symbols and/or axioms. Arrows that meet indicate the combination of structures - for instance, an algebra is a vector space that is also a ring, and a Lie group is a group that is also a manifold.