@misc{indiciae9a03a647602c, title = {Strict \$ω\$-categories are monadic over polygraphs}, author = {François Métayer}, year = {2016}, url = {https://arxiv.org/abs/1606.00139}, note = {Source identifier: 1606.00139} }