This volume explores polygraphs as a foundational tool for rewriting theory and their extensions to higher category theory. It presents cutting-edge research on the algebraic and categorical structures underlying modern mathematical logic.