A model for the homotopy theory of homotopy theory

@article{Rezk1998AMF,
  title={A model for the homotopy theory of homotopy theory},
  author={Charles Rezk},
  journal={Transactions of the American Mathematical Society},
  year={1998},
  volume={353},
  pages={973-1007}
}
  • C. Rezk
  • Published 6 November 1998
  • Mathematics
  • Transactions of the American Mathematical Society
We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, “functors between two homotopy theories form a homotopy theory”, or more precisely that the category of such models has a well-behaved internal hom-object. 

Two Models for the Homotopy Theory of Cocomplete Homotopy Theories

We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theories as fibration

n-relative categories: a model for the homotopy theory of n-fold homotopy theories

We introduce, for every integer n � 1, the notion of an n-relative category and show that the category of the small n-relative categories is a model for the homotopy theory of n-fold homotopy

Homotopy limits of model categories and more general homotopy theories

Generalizing a definition of homotopy fiber products of model categories, we give a definition of the homotopy limit of a diagram of left Quillen functors between model categories. As has been

Homotopy Type Theory: The Logic of Space

This is an introduction to type theory, synthetic topology, and homotopy type theory from a category-theoretic and topological point of view, written as a chapter for the book "New Spaces for

Homotopy colimits of model categories

Building on a previous definition of homotopy limit of model categories, we give a definition of homotopy colimit of model categories. Using the complete Segal space model for homotopy theories, we

Workshop on the homotopy theory of homotopy theories

These notes are from a series of lectures given at the Workshop on the Homotopy Theory of Homotopy Theories which took place in Caesarea, Israel, in May 2010. The workshop was organized by David

Homotopy fiber products of homotopy theories

Given an appropriate diagram of left Quillen functors between model categories, one can define a notion of homotopy fiber product, but one might ask if it is really the correct one. Here, we show

On the homotopy theory of enriched categories

We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model

n-Relative Categories

We introduce, for every positive integer n, the notion of an n-relative category and show that the category of the small n-relative categories is a model for the homotopy theory of n-fold homotopy
...

References

SHOWING 1-10 OF 19 REFERENCES

Realizing diagrams in the homotopy category by means of diagrams of simplicial sets

Given a small category D, we show that a D-diagram X in the homotopy category can be realized by a D-diagram of simplicial sets iff a certain simplicial set rX is nonempty. Moreover, this simplicial

HOMOTOPY THEORY OF MODEL CATEGORIES

In this paper some questions in the homotopy theory of model categories are answered. The important results of this paper are Theorems B, C and D which state that pushouts, sequential direct limits,

Boolean localization, in practice.

A new proof of the existence of the standard closed model structure for the category of simplicial presheaves on an arbitrary Grothendieck site is given. This proof uses the principle of Boolean

Homotopy Limits, Completions and Localizations

Completions and localizations.- The R-completion of a space.- Fibre lemmas.- Tower lemmas.- An R-completion of groups and its relation to the R-completion of spaces.- R-localizations of nilpotent

Simplicial objects in algebraic topology

Since it was first published in 1967, Simplicial Objects in Algebraic Topology has been the standard reference for the theory of simplicial sets and their relationship to the homotopy theory of