Complicial Sets
arXiv:math/0410412
Abstract
The primary purpose of this work is to characterise strict ω-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.
167 pages, AMSLaTeX; minor revisions and typo fixes, reformatted for better A4 printing