Diagram groups are groups consisting of spherical diagrams (pictures) over monoid presentations. They can be also defined as fundamental groups of the Squier co