3
$\begingroup$

Why are $n$-fold complete segal spaces or $(\infty, n)$-categories (which I'm unsure of how to distinguish from omega-categories) important for $n \geq 3$? Why are they "badly behaved" for $n \geq 3$? (Lurie refers to them this way in his thesis).

Also, I'm particularly interested to connections between $n$-fold complete segal spaces with regards to a question asked recently about "same" proofs. Is a 2-fold complete segal space sufficient in this particular arena?

(Please tell me if this question is ill-posed, I'm just currently learning category theory.)

$\endgroup$
5
  • $\begingroup$ What do you mean by "same" proofs? And could you say where exactly one can find Lurie's statement? $\endgroup$ Nov 2, 2009 at 15:36
  • $\begingroup$ I believe he is refering to question 3776: mathoverflow.net/questions/3776 $\endgroup$ Nov 2, 2009 at 15:58
  • $\begingroup$ Thanks Charles, I was gone for a while so I couldn't give an answer $\endgroup$ Nov 2, 2009 at 16:02
  • $\begingroup$ Lurie's comment can be found here arxiv.org/PS_cache/arxiv/pdf/0905/0905.0465v1.pdf (Unfortunately it's kind of long) $\endgroup$ Nov 2, 2009 at 16:05
  • 1
    $\begingroup$ Ah, he is referring to "strict", not all n-fold segal spaces $\endgroup$ Nov 2, 2009 at 16:07

1 Answer 1

10
$\begingroup$

$n$-fold complete Segal spaces are one model for $(\infty,n)$-categories; there are other models. More precisely, they are supposed to be a model for weak $(\infty,n)$-categories.

The distinction that I think you are asking about is between weak and strict. Strict $n$-categories can be easily defined by a recursive definition: a strict $n$-category is just a category enriched over strict $(n-1)$-categories. A strict 1-category is just a plain-old category. Though easy to define, strict $n$-categories don't seem to capture the things people want an $n$-category to capture.

One such feature is that strict $n$-categories don't satisfy the "homotopy hypothesis", which says that an $n$-groupoid ($=n$-category in which all morphisms are in some sense invertible) should model homotopy $n$-types ($=$ spaces whose homotopy groups vanish above dimension $n$). In fact, this failure only occurs for $n \geq 3$; I believe this is the type of bad behavior Lurie refers to. Another failure of strict $n$-categories happens when you try to talk about higher monoidal structures.

If you haven't already, take a look at the papers by Baez-Dolan on arxiv, which discuss a lot of these issues.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.