Skip to main content
MathOverflow

Return to Question

Fixed LaTeX
Source Link
edit approved Apr 26, 2017 at 10:54
Manuel Bärenz
edit approved Apr 26, 2017 at 10:54
Manuel Bärenz
  • 5.6k
  • 18
  • 49

So in Julie Bergner's work on (infty, 1)$(\infty, 1)$-categories arXiv:0610239, she considers several model categories which model (infty, 1)$(\infty, 1)$-categories, which are known to be equivalent. I'm guessing that there is another model which is equivalent to these. It is probably known to experts, and probably exists for easy reasons, but I'm not seeing it so I'm asking here.

Background

In Julie's survey, which reviews some of her own work in arXiv:0504334, the work of Joyal and Tierney arXiv:0607820, and the work of others, she compares four models of (infty, 1)$(\infty, 1)$-categories. They are model categories of Segal Categories, Complete Segal spaces, Quasi-categories, and Simplicial Categories.

All of these models are related in multiple ways, but some are more closely aligned than others. In particular the Complete Segal spaces and the Segal categories are very similar objects. The underlying categories for these two model categories are almost the same. They are the category of simplicial spaces and the category of simplicial spaces whose zeroeth space $X_0$ is discrete, respectively.

Among the simplicial spaces we have those which satisfy the Segal condition. These are the (Reedy fibrant) simplicial spaces such that the Segal map $$ X_n \to X_1 \times_{X_0} \cdots \times_{X_0} X_1 $$ is a weak equivalence. These are called Segal spaces. There is a model structure on the category of simplicial spaces such that the Segal spaces are the fibrant objects. It is a localization of the Reedy model structure. But in this model structure the weak equivalences between Segal spaces are just the level-wise weak equivalences.

The model category of complete Segal spaces is a further localization of this. The weak equivalences between fibrant objects (complete Segal spaces) in this model category are pretty easy. They are the level-wise weak equivalences. More generally the weak equivalences between Segal spaces in this new model structure can also be identified, without too much trouble. They are called Dwyer-Kan equivalences or DK-equivalences for short.

A Segal category is a Segal space where the space of objects $X_0$ is discrete. There is a Quillen equivalent model structure on the category of those simplicial spaces whose zeroeth space is discrete. In this model category, a map between two Segal categories is a weak equivalence if and only if it is a DK-equivalence.

Question

I'm wondering if there is an intermediary model category which is equivalent to both the above model categories (hopefuly in an obvious way) which has the following properties:

  1. It should be a model category on the category of simplicial spaces.
  2. The fibrant objects should be the Segal spaces. (Not necessarily complete).
  3. The weak equivalences should be the DK-equivalences.

Does such a model category exist? is it well known?

So in Julie Bergner's work on (infty, 1)-categories arXiv:0610239, she considers several model categories which model (infty, 1)-categories, which are known to be equivalent. I'm guessing that there is another model which is equivalent to these. It is probably known to experts, and probably exists for easy reasons, but I'm not seeing it so I'm asking here.

Background

In Julie's survey, which reviews some of her own work in arXiv:0504334, the work of Joyal and Tierney arXiv:0607820, and the work of others, she compares four models of (infty, 1)-categories. They are model categories of Segal Categories, Complete Segal spaces, Quasi-categories, and Simplicial Categories.

All of these models are related in multiple ways, but some are more closely aligned than others. In particular the Complete Segal spaces and the Segal categories are very similar objects. The underlying categories for these two model categories are almost the same. They are the category of simplicial spaces and the category of simplicial spaces whose zeroeth space $X_0$ is discrete, respectively.

Among the simplicial spaces we have those which satisfy the Segal condition. These are the (Reedy fibrant) simplicial spaces such that the Segal map $$ X_n \to X_1 \times_{X_0} \cdots \times_{X_0} X_1 $$ is a weak equivalence. These are called Segal spaces. There is a model structure on the category of simplicial spaces such that the Segal spaces are the fibrant objects. It is a localization of the Reedy model structure. But in this model structure the weak equivalences between Segal spaces are just the level-wise weak equivalences.

The model category of complete Segal spaces is a further localization of this. The weak equivalences between fibrant objects (complete Segal spaces) in this model category are pretty easy. They are the level-wise weak equivalences. More generally the weak equivalences between Segal spaces in this new model structure can also be identified, without too much trouble. They are called Dwyer-Kan equivalences or DK-equivalences for short.

A Segal category is a Segal space where the space of objects $X_0$ is discrete. There is a Quillen equivalent model structure on the category of those simplicial spaces whose zeroeth space is discrete. In this model category, a map between two Segal categories is a weak equivalence if and only if it is a DK-equivalence.

Question

I'm wondering if there is an intermediary model category which is equivalent to both the above model categories (hopefuly in an obvious way) which has the following properties:

  1. It should be a model category on the category of simplicial spaces.
  2. The fibrant objects should be the Segal spaces. (Not necessarily complete).
  3. The weak equivalences should be the DK-equivalences.

Does such a model category exist? is it well known?

So in Julie Bergner's work on $(\infty, 1)$-categories arXiv:0610239, she considers several model categories which model $(\infty, 1)$-categories, which are known to be equivalent. I'm guessing that there is another model which is equivalent to these. It is probably known to experts, and probably exists for easy reasons, but I'm not seeing it so I'm asking here.

Background

In Julie's survey, which reviews some of her own work in arXiv:0504334, the work of Joyal and Tierney arXiv:0607820, and the work of others, she compares four models of $(\infty, 1)$-categories. They are model categories of Segal Categories, Complete Segal spaces, Quasi-categories, and Simplicial Categories.

All of these models are related in multiple ways, but some are more closely aligned than others. In particular the Complete Segal spaces and the Segal categories are very similar objects. The underlying categories for these two model categories are almost the same. They are the category of simplicial spaces and the category of simplicial spaces whose zeroeth space $X_0$ is discrete, respectively.

Among the simplicial spaces we have those which satisfy the Segal condition. These are the (Reedy fibrant) simplicial spaces such that the Segal map $$ X_n \to X_1 \times_{X_0} \cdots \times_{X_0} X_1 $$ is a weak equivalence. These are called Segal spaces. There is a model structure on the category of simplicial spaces such that the Segal spaces are the fibrant objects. It is a localization of the Reedy model structure. But in this model structure the weak equivalences between Segal spaces are just the level-wise weak equivalences.

The model category of complete Segal spaces is a further localization of this. The weak equivalences between fibrant objects (complete Segal spaces) in this model category are pretty easy. They are the level-wise weak equivalences. More generally the weak equivalences between Segal spaces in this new model structure can also be identified, without too much trouble. They are called Dwyer-Kan equivalences or DK-equivalences for short.

A Segal category is a Segal space where the space of objects $X_0$ is discrete. There is a Quillen equivalent model structure on the category of those simplicial spaces whose zeroeth space is discrete. In this model category, a map between two Segal categories is a weak equivalence if and only if it is a DK-equivalence.

Question

I'm wondering if there is an intermediary model category which is equivalent to both the above model categories (hopefuly in an obvious way) which has the following properties:

  1. It should be a model category on the category of simplicial spaces.
  2. The fibrant objects should be the Segal spaces. (Not necessarily complete).
  3. The weak equivalences should be the DK-equivalences.

Does such a model category exist? is it well known?

grammar fixed, improved exposition.
Source Link
Chris Schommer-Pries
Chris Schommer-Pries
  • 27.5k
  • 3
  • 91
  • 171

So in Julie Bergner's work on (infty, 1)-categories arXiv:0610239, she considers several model categories which model (infty, 1)-categories, which are known to be equivalent. I'm guessing that there is another model which is equivalent to these. It is probably known to experts, and probably exists for easy reasons, but I'm not seeing it so I'm asking here.

Background

In Julie's survey, which reviews some of her own work in arXiv:0504334, the work of Joyal and Tierney arXiv:0607820, and the work of others, she compares four modelmodels of (infty, 1)-categories. They are model categories of Segal Categories, Complete Segal spaces, Quasi-categories, and Simplicial Categories.

All of these models are related in multiple ways, but some are more closely aligned than others. In particular the Segal categories and Complete Segal spaces and the Segal categories are very similar objects. The underlying categories for these two model categories are almost the same:. They are the category of simplicial spaces and the category of simplicial spaces whose zeroeth space $X_0$ is discrete, respectively.

Among the simplicial spaces we have those which satisfy the Segal condition. ThereThese are the (Reedy fibrant) simplicial spaces such that the Segal map $$ X_n \to X_1 \times_{X_0} \cdots \times_{X_0} X_1 $$ is a weak equivalence. These are called Segal spaces. There is a model structure on the category of simplicial spaces such that the Segal spaces are the fibrant objects. It is a localization of the Reedy model structure. But in this model structure the weak equivalences between Segal spaces are just the level-wise weak equivalences.

The model category of complete Segal spaces is a further localization of this. The weak equivalences between fibrant objects (complete Segal spaces) in this model category are pretty easy. They are the level-wise weak equivalences. More generally the weak equivalences between Segal spaces in this new model structure can also be identified, without too much trouble. They are called Dwyer-Kan equivalences or DK-equivalences for short.

A Segal category is a Segal space where the space of objects $X_0$ is discrete. There is a Quillen equivalent model structure on the category of those simplicial spaces whose zeroeth space is discrete. In this model category, a map between two Segal categories is a weak equivalence if and only if it is a DK-equivalence.

Question

I'm wondering if there is an intermediary model category which is equivalent to both the above model categories (hopefuly in an obvious way) which has the following properties:

  1. It should be a model category on the category of simplicial spaces.
  2. The fibrant objects should be the Segal spaces. (Not necessarily complete).
  3. The weak equivalences should be the DK-equivalences.

Does such a model category exist? is it well known?

So in Julie Bergner's work on (infty, 1)-categories arXiv:0610239, she considers several model categories which model (infty, 1)-categories, which are known to be equivalent. I'm guessing that there is another model which is equivalent to these. It is probably known to experts, and probably exists for easy reasons, but I'm not seeing it so I'm asking here.

Background

In Julie's survey, which reviews some of her own work in arXiv:0504334, the work of Joyal and Tierney arXiv:0607820, and the work of others, she compares four model of (infty, 1)-categories. They are model categories of Segal Categories, Complete Segal spaces, Quasi-categories, and Simplicial Categories.

All of these models are related in multiple ways, but some are more closely aligned than others. In particular the Segal categories and Complete Segal spaces are very similar objects. The underlying categories for these two model categories are almost the same: the category of simplicial spaces.

Among the simplicial spaces we have those which satisfy the Segal condition. There are the (Reedy fibrant) simplicial spaces such that the Segal map $$ X_n \to X_1 \times_{X_0} \cdots \times_{X_0} X_1 $$ is a weak equivalence. These are called Segal spaces. There is a model structure on the category of simplicial spaces such that the Segal spaces are the fibrant objects. It is a localization of the Reedy model structure.

The model category of complete Segal spaces is a further localization of this. The weak equivalences between fibrant objects (complete Segal spaces) in this model category are pretty easy. They are the level-wise weak equivalences. More generally the weak equivalences between Segal spaces in this model structure can also be identified, without too much trouble. They are called Dwyer-Kan equivalences or DK-equivalences for short.

A Segal category is a Segal space where the space of objects $X_0$ is discrete. There is a Quillen equivalent model structure on the category of those simplicial spaces whose zeroeth space is discrete. In this model category, a map between two Segal categories is a weak equivalence if and only if it is a DK-equivalence.

Question

I'm wondering if there is an intermediary model category which is equivalent to both the above model categories (hopefuly in an obvious way) which has the following properties:

  1. It should be a model category on the category of simplicial spaces.
  2. The fibrant objects should be the Segal spaces. (Not necessarily complete).
  3. The weak equivalences should be the DK-equivalences.

Does such a model category exist? is it well known?

So in Julie Bergner's work on (infty, 1)-categories arXiv:0610239, she considers several model categories which model (infty, 1)-categories, which are known to be equivalent. I'm guessing that there is another model which is equivalent to these. It is probably known to experts, and probably exists for easy reasons, but I'm not seeing it so I'm asking here.

Background

In Julie's survey, which reviews some of her own work in arXiv:0504334, the work of Joyal and Tierney arXiv:0607820, and the work of others, she compares four models of (infty, 1)-categories. They are model categories of Segal Categories, Complete Segal spaces, Quasi-categories, and Simplicial Categories.

All of these models are related in multiple ways, but some are more closely aligned than others. In particular the Complete Segal spaces and the Segal categories are very similar objects. The underlying categories for these two model categories are almost the same. They are the category of simplicial spaces and the category of simplicial spaces whose zeroeth space $X_0$ is discrete, respectively.

Among the simplicial spaces we have those which satisfy the Segal condition. These are the (Reedy fibrant) simplicial spaces such that the Segal map $$ X_n \to X_1 \times_{X_0} \cdots \times_{X_0} X_1 $$ is a weak equivalence. These are called Segal spaces. There is a model structure on the category of simplicial spaces such that the Segal spaces are the fibrant objects. It is a localization of the Reedy model structure. But in this model structure the weak equivalences between Segal spaces are just the level-wise weak equivalences.

The model category of complete Segal spaces is a further localization of this. The weak equivalences between fibrant objects (complete Segal spaces) in this model category are pretty easy. They are the level-wise weak equivalences. More generally the weak equivalences between Segal spaces in this new model structure can also be identified, without too much trouble. They are called Dwyer-Kan equivalences or DK-equivalences for short.

A Segal category is a Segal space where the space of objects $X_0$ is discrete. There is a Quillen equivalent model structure on the category of those simplicial spaces whose zeroeth space is discrete. In this model category, a map between two Segal categories is a weak equivalence if and only if it is a DK-equivalence.

Question

I'm wondering if there is an intermediary model category which is equivalent to both the above model categories (hopefuly in an obvious way) which has the following properties:

  1. It should be a model category on the category of simplicial spaces.
  2. The fibrant objects should be the Segal spaces. (Not necessarily complete).
  3. The weak equivalences should be the DK-equivalences.

Does such a model category exist? is it well known?

Source Link
Chris Schommer-Pries
Chris Schommer-Pries
  • 27.5k
  • 3
  • 91
  • 171

A Model Category of Segal Spaces?

So in Julie Bergner's work on (infty, 1)-categories arXiv:0610239, she considers several model categories which model (infty, 1)-categories, which are known to be equivalent. I'm guessing that there is another model which is equivalent to these. It is probably known to experts, and probably exists for easy reasons, but I'm not seeing it so I'm asking here.

Background

In Julie's survey, which reviews some of her own work in arXiv:0504334, the work of Joyal and Tierney arXiv:0607820, and the work of others, she compares four model of (infty, 1)-categories. They are model categories of Segal Categories, Complete Segal spaces, Quasi-categories, and Simplicial Categories.

All of these models are related in multiple ways, but some are more closely aligned than others. In particular the Segal categories and Complete Segal spaces are very similar objects. The underlying categories for these two model categories are almost the same: the category of simplicial spaces.

Among the simplicial spaces we have those which satisfy the Segal condition. There are the (Reedy fibrant) simplicial spaces such that the Segal map $$ X_n \to X_1 \times_{X_0} \cdots \times_{X_0} X_1 $$ is a weak equivalence. These are called Segal spaces. There is a model structure on the category of simplicial spaces such that the Segal spaces are the fibrant objects. It is a localization of the Reedy model structure.

The model category of complete Segal spaces is a further localization of this. The weak equivalences between fibrant objects (complete Segal spaces) in this model category are pretty easy. They are the level-wise weak equivalences. More generally the weak equivalences between Segal spaces in this model structure can also be identified, without too much trouble. They are called Dwyer-Kan equivalences or DK-equivalences for short.

A Segal category is a Segal space where the space of objects $X_0$ is discrete. There is a Quillen equivalent model structure on the category of those simplicial spaces whose zeroeth space is discrete. In this model category, a map between two Segal categories is a weak equivalence if and only if it is a DK-equivalence.

Question

I'm wondering if there is an intermediary model category which is equivalent to both the above model categories (hopefuly in an obvious way) which has the following properties:

  1. It should be a model category on the category of simplicial spaces.
  2. The fibrant objects should be the Segal spaces. (Not necessarily complete).
  3. The weak equivalences should be the DK-equivalences.

Does such a model category exist? is it well known?