  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.
