Polygraphs: From Rewriting to Higher Categories

Polygraphs: From Rewriting to Higher Categories