simplicial model for weak omega-categories


Higher category theory

higher category theory

Basic concepts

Basic theorems





Universal constructions

Extra properties and structure

1-categorical presentations



While an algebraic definition of strict ∞-categories is comparatively straightforward, algebraic definitions of fully weak ω\omega-categories (aka \infty-categories) are difficult to work with (although some definitions exist, such as those of Batanin, Trimble, Leinster, and Penon).

However, just like strict ω\omega-categories have a simplicial nerve – a complicial set – induced by the orientals, and just like the category of strict ω\omega-categories is equivalent to the category of complicial sets, one expects that every weak ω\omega-category naturally has a simplicial nerve and that the theory of algebraically defined weak ω\omega-categories is equivalent to the theory of the simplicial sets that arise as their nerves. In fact, one can hope that the theory is simpler in the weak case: complicial sets are simplicial sets equipped with extra structure (a stratification representing the chosen ‘strict’ composites), while in the nerve of a weak ω\omega-category this structure might be reducible to a property.

In the context of simplicial models for weak ω\omega-categories the goal is to characterize those simplicial sets (or stratified simplicial sets) which should arise as nerves of algebraically defined weak ω\omega-categories and thus provide a geometric definition of higher category generalizing the familiar simplicial description of ω\omega-groupoids as Kan complexes and of (ω,1)(\omega,1)-categories as quasi-categories to general higher categories.

In effect, the goal is to define a weak ω\omega-category to be a certain sort of (stratified) simplicial set. One could then hope to prove that these are precisely the nerves of weak ω\omega-categories defined in some other way.

To distinguish the study of weak ω\omega-categories in terms of their presumed nerves from the study of their would-be algebraic descriptions people speak of simplicial weak ∞-categories, see in particular the articles by Dominic Verity referenced below. One should just beware that in this context simplicial weak ∞-category is not meant as simplicial object in the category of weak ω\omega-categories.

This program was originally begun by Ross Street and has been carried forward by Dominic Verity with the theory of weak complicial sets. It is expected that the (nerves of) weak ω\omega-categories will be weak complicial sets satisfying an extra “saturation” condition ensuring that “every equivalence is thin.”


  • Dominic Verity, Weak complicial sets, a simplicial weak omega-category theory. Part I: basic homotopy theory (arXiv)

  • Dominic Verity, Weak complicial sets, a simplicial weak omega-category theory. Part II: nerves of complicial Gray-categories (pdf)

Discussion on a previous version of this entry:

Mike: This term is kind of unfortunate; simplicial weak ω\omega-category could also mean a simplicial object in weak ω\omega-categories. I don’t suppose we can do anything about that?

Urs: my impression is that what Dominic Verity mainly wants to express with the term is “simplicial model for weak ω\omega-category”. Maybe we could/should use a longer phrase like that?

Mike: That would make me happier.

Urs: okay, I changed it. Let me know if this is good now.

Toby: But what about ‘globular ω\omega-category’ and things like that? Doesn't ‘simplicial ω\omega-category’ fit right into that framework? This page title sounds like an entire framework for defining ω\omega-category rather than a single ω\omega-category simplicially defined.

Urs: i am open to suggestions – but notice that it does indeed seem to me that Dominic Verity wants to express “an entire framework for defining ω\omega-category”, namely the framework where one skips over the attempt to define ω\omega-categories and instead tries to find a characterization of what should be their nerves.

Toby: OK, that fits in with most of what's written here, but not the beginning

Simplicial models for weak ω\omega-categories – sometimes called simplicial weak ∞-categories – are [] Maybe that was just poorly written, but it threw me off. Should it be A simplicial model for weak ω\omega-categories – which are then sometimes called simplicial weak ∞-categories – is [] or even A simplicial model for weak ω\omega-categories is [] and only later mention simplicial weak ∞-categories?

Mike: You’re right that ‘simplicial ω\omega-category’ it fits into ‘globular ω\omega-category’ and ‘opetopic ω\omega-category’ and so on. It seems more problematic in this case, though, since simplicial objects of random categories are a good deal more prevalent than globular ones and opetopic ones. But perhaps I should just live with it.

Urs: I have now expanded the entry text on this point, trying to make very clear to the reader what’s going on here.

Toby: Thanks, that's much clearer. And if Verity's definition is at weak complicial set, then we may not really need anything at simplicial weak ∞-category, so no need to offend Mike's sensibilities (^_^) either.

Last revised on September 24, 2018 at 15:13:19. See the history of this page for a list of all contributions to it.