Polygraphs: From Rewriting to Higher Categories

This book, intended for PhD students and researchers, revisits the theory of rewriting and presentations of algebraic structures, through the unified approach provided by polygraphs, and put it in the context of homotopical algebra. It introduces the theory step-by-step using low-dimensional illustrations, providing detailed proofs.