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.