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

Dominic Verity (28/7/04, 4/8/04, 11/8/04)

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.

Back to titles of seminars.

---

Steve Lack

Last modified: Wed Oct 27 10:47:43 EST 2004