arXiv subjects
Publications and source records attributed to Julia E. Bergner.
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 Blanc, Emmanuel Farjoun, and David Kazhdan, and talks not indicated otherwise were given by the author.
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 that this homotopy pullback is well-behaved with respect to translating it into the setting of more general homotopy theories, given by complete Segal spaces, where we have well-defined homotopy pullbacks.
In this note we make a minor correction to the paper ``Simplicial monoids and Segal categories."
In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicial categories, can be considered to be models for homotopy theories. We then give a characterization, up to weak equivalence, of complete Segal spaces arising from these functors.
Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a "homotopy theory of homotopy theories." In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to the homotopy theory arising from the model category structure on simplicial categories. Thus, any of these three categories with their respective weak equivalences could be considered a model for the homotopy theory of homotopy theories. One of them in particular, Rezk's complete Segal space model category structure on the category of simplicial spaces, is much more convenient from the perspective of making calculations and therefore obtaining information about a given homotopy theory.
In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from the viewpoint of homotopy theory, models for the homotopy theory of homotopy theories. The four different structures, all of which are equivalent, are simplicial categories, Segal categories, complete Segal spaces, and quasi-categories.
Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial monoids is Quillen equivalent to an appropriate model category structure on the category of simplicial spaces with a single point in degree zero. In this second model structure, the fibrant objects are reduced Segal categories. We then generalize the proof to relate simplicial categories with a fixed object set to Segal categories with the same fixed set in degree zero.
In this note we prove that Reedy fibrant Segal categories are fibrant objects in the model category structure SeCat_c. Combining this result with a previous one, we thus have that the fibrant objects are precisely the Reedy fibrant Segal categories. We also show that the analogous result holds for Segal categories which are fibrant in the projective model structure on simplicial spaces, considered as objects in the model structure SeCat_f.
In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.