[h91wka]

This diagram doesn't show semigroup and monoid. Although these structures aren't used in physics much, I find them very useful for understanding groups.