Complicial Sets - A proof of the Street-Roberts conjecture regarding nerves of omega-categories

Dominic Verity – 28 July 2004

The primary purpose of this work is to characterise strict \omega-categories as simplicial sets with structure. We prove the Street-Roberts conjecture which states that they are exactly the ``complicial sets'' defined and named by John Roberts in his handwritten notes of that title. The slides for the talks are available as a pdf file. The paper on which this is based is available from the ArXiv.