A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard’s work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts. In this first part we investigate a notion of higher topos. For this, we use S-categories (i.e. simplicially enriched categories) as models for certain kind of ∞-categories, and we develop the notions of S-topologies, S-sites and stacks over them. We prove in particular, that for an S-category T endowed with an S-topology, there exists a model

Roughly speaking, the stable homotopy category of algebraic topology is obtained from the

Abstract not found

Abstract. Generalising Segal’s approach to 1-fold loop spaces, the homotopy theory of n-fold loop spaces is shown to be equivalent to the homotopy theory of reduced Θn-spaces, where Θn is an iterated wreath product of the simplex category ∆. A sequence of functors from Θn to Γ allows for an alternative description of the Segal spectrum associated to a Γ-space. In particular, each Eilenberg-MacLane space has a canonical reduced Θnset model. The number of (n + d)-dimensional cells of the resulting CWcomplex of type K(Z/2Z, n) is a generalised Fibonacci number.

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent `the same homotopy theory'. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a `ring spectrum with several objects', i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R. 1.

Abstract. Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids.

Abstract not found

Abstract. We modify a previous result, which showed that certain diagrams of spaces are essentially simplicial monoids, to construct diagrams of spaces which model simplicial groups. Furthermore, we show that these diagrams can be generalized to models for Segal groupoids. We then modify Segal’s model for simplicial abelian monoids in such a way that it becomes a model for simplicial abelian groups. 1.

Let R be a ring and M a bimodule over R. Then there are three essential cohomology theories associated to the pair (R, M) due to Hochschild, Shukla, and