Strict $\omega$-categories are monadic over polygraphs
  We give a direct proof that the category of strict $\omega$-categories is monadic over the category of polygraphs. 
Fran\c{c}ois M\'etayer (IRIF)
math.CT