Skip to main content
added 3 characters in body; edited title
Source Link
Andrej Bauer
  • 48.8k
  • 11
  • 131
  • 240

Higher category theory $(\infty,n)$ categories as fibrant objects in a model “space”

We know that Kan complexes are fibrant objects in the classical model structure on the category of simplicial sets. Similarly, if we take the Joyal model structure, the fibrant objects are quasi categories, which are models for ($\infty$,1)$(\infty,1)$ categories. I was wondering if ($\infty$,n)categories$(\infty,n)$ categories can be modelled as fibrant objects in some model "space". I have just learned that there do exist some spaces called Segal spaces where model structure does exist. Could someone kindly tell me briefly the idea of Segal spaces and the relevant model structure here? Also, what's the case for ($\infty,\infty$)$(\infty,\infty)$ categories? I

I am a physics first year grad student, starting with higher category theory. Thanks.

Higher category theory

We know that Kan complexes are fibrant objects in the classical model structure on the category of simplicial sets. Similarly, if we take the Joyal model structure, the fibrant objects are quasi categories, which are models for ($\infty$,1) categories. I was wondering if ($\infty$,n)categories can be modelled as fibrant objects in some model "space". I have just learned that there do exist some spaces called Segal spaces where model structure does exist. Could someone kindly tell me briefly the idea of Segal spaces and the relevant model structure here? Also, what's the case for ($\infty,\infty$) categories? I am a physics first year grad student, starting with higher category theory. Thanks.

$(\infty,n)$ categories as fibrant objects in a model “space”

We know that Kan complexes are fibrant objects in the classical model structure on the category of simplicial sets. Similarly, if we take the Joyal model structure, the fibrant objects are quasi categories, which are models for $(\infty,1)$ categories. I was wondering if $(\infty,n)$ categories can be modelled as fibrant objects in some model "space". I have just learned that there do exist some spaces called Segal spaces where model structure does exist. Could someone kindly tell me briefly the idea of Segal spaces and the relevant model structure here? Also, what's the case for $(\infty,\infty)$ categories?

I am a physics first year grad student, starting with higher category theory. Thanks.

added a top-level tag; https://meta.mathoverflow.net/questions/1457/why-are-mo-tags-formatted-as-they-are
Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40
Source Link

Higher category theory

We know that Kan complexes are fibrant objects in the classical model structure on the category of simplicial sets. Similarly, if we take the Joyal model structure, the fibrant objects are quasi categories, which are models for ($\infty$,1) categories. I was wondering if ($\infty$,n)categories can be modelled as fibrant objects in some model "space". I have just learned that there do exist some spaces called Segal spaces where model structure does exist. Could someone kindly tell me briefly the idea of Segal spaces and the relevant model structure here? Also, what's the case for ($\infty,\infty$) categories? I am a physics first year grad student, starting with higher category theory. Thanks.