In recent years the theory of structured ring spectra (formerly known as A # - and E # -ring spectra) has been signicantly simplified by the discovery of categories of spectra with strictly associative and commutative smash products. Now a ring spectrum can simply be dened as a monoid with respect to the smash product in one of these new categories of spectra. In order to make use of all of the standard tools from homotopy theory, it is important to have a Quillen model category structure [##] available here. In this paper we provide a general method for lifting model structures to categories of rings, algebras, and modules. This includes, but is not limited to, each of the new theories of ring spectra. One model for structured ring spectra is given by the S-algebras of [##]. This example has the special feature that every object is brant, which makes it easier to fo...

In this chapter I give a general procedure of transferring closed model structures along adjoint functor pairs. As applications I derive from a global closed model structure on the category of simplicial sheaves closed model structures on the category of sheaves of 2-groupoids, the category of bisimplicial sheaves and the category of simplicial sheaves of groupoids. Subsequently, the homotopy theories of these categories are related to the homotopy theory of simplicial sheaves. 1 Introduction There are two ways of trying to generalize the well known closed model structure on the category of simplicial sets to the category of simplicial objects in a Grothendieck topos. One way is to concentrate on the local aspect, and to use the Kan-fibrations as a starting point. In [14] Heller showed that for simplicial presheaves there is a local (there called right) closed model structure. In [2] K. Brown showed that for a topological space X the category of "locally fibrant" sheaves of spectra on ...

. We review Quillen's concept of a model category as the proper setting for defining derived functors in non-abelian settings, explain how one can transport a model structure from one category to another by mean of adjoint functors (under suitable assumptions), and define such structures for categories of cosimplicial coalgebras. 1. Introduction Model categories, first introduced by Quillen in [Q1], have proved useful in a number of areas -- most notably in his treatment of rational homotopy in [Q2], and in defining homology and other derived functors in non-abelian categories (see [Q3]; also [BoF, BlS, DwHK, DwK, DwS, Goe, ScV]). From a homotopy theorist's point of view, one interesting example of such non-abelian derived functors is the E 2 -term of the mod p unstable Adams spectral sequence of Bousfield and Kan. They identify this E 2 -term as a sort of Ext in the category CA of unstable coalgebras over the mod p Steenrod algebra (see x7.4). The original purpose of this note w...

The simplicial objects in an algebraic category admit an abstract homotopy theory via a Quillen model category structure. We show that the associated stable homotopy theory is completely determined by a ring spectrum functorially associated with the algebraic theory. For several familiar algebraic theories we can identify the parameterizing ring spectrum; for other theories we obtain new examples of ring spectra. For the theory of commutative algebras we obtain a ring spectrum which is related to AndreH}Quillen homology via certain spectral sequences. We show that the (co-)homology of an algebraic theory is isomorphic to the topological Hochschild (co-)homology of the parameterizing ring spectrum. # 2000 Elsevier Science Ltd. All rights reserved. MSC: 55U35; 18C10 Keywords: Algebraic theories; Ring spectra; AndreH}Quillen homology; #-spaces The original motivation for this paper came from the attempt to generalize a rational result about the homotopy theory of commutative rings. For...

Abstract. In this paper we introduce a notion of generalized operad containing as special cases various kinds of operad–like objects: ordinary, cyclic, modular, properads etc. We then construct inner cohomomorphism objects in their categories (and categories of algebras over them). We argue that they provide an approach to symmetry and moduli objects in non-commutative geometries based upon these “ring–like ” structures. We give a unified axiomatic treatment of generalized operads as functors on categories of abstract labeled graphs. Finally, we extend inner cohomomorphism constructions to more general categorical contexts. This version differs from the previous ones by several local changes (including the title) and two extra references. 0.1. Inner cohomomorphisms of associative algebras. Let k be a field. Consider pairs A = (A, A1) consisting of an associative k–algebra A and a finite dimensional subspace A1 generating A. For two such pairs A = (A, A1) and B =

In this paper we give for any r,n,0�r�n, a Quillen’s model structure to the category of simplicial groups where the weak equivalences are those morphisms f � such that π (f q �) is an isomorphism for r�q�n. This is carried out by studying the cases r�0 and n� � previously and, in each one of them, we make explicit some constructions for the associated homotopy theories, such as the cylinder and path objects and the loop and suspension functors, and we also relate the simplicial homotopy relation to the homotopy relation obtained from these structures. A weak equivalence of simplicial groups is a morphism f which induces isomorphisms π (f

. In this paper we use Quillen's model structure given by Dwyer-Kan for the category of simplicial groupoids (with discrete object of objects) to describe in this category, in the simplicial language, the fundamental homotopy theoretical constructions of path and cylinder objects. We then characterize the associated left and right homotopy relations in terms of simplicial identities and give a simplicial description of the homotopy category of simplicial groupoids. Finally, we show loop and suspension functors in the pointed case. 1. Introduction 1.1. Summary. A well-known and quite powerful context in which an abstract homotopy theory can be developed is supplied by a category with a closed model structure in the sense of Quillen [16]. The category Simp(Gp) of simplicial groups is a remarkable example of what a closed model category is, and the homotopy theory in Simp(Gp) developed by Kan [12] occurs as the homotopy theory associated to this closed model structure. According to the t...

Abstract. In this paper we construct internal cohomomorphism objects in various categories of operads (ordinary, cyclic, modular, properads...) and algebras over operads. We argue that they provide an approach to symmetry and moduli objects in non-commutative geometries based upon these “ring–like ” structures. We give also a unified axiomatic treatment of operads as functors on labeled graphs. Finally, we extend internal cohomomorphism constructions to more general categorical contexts. 0.1. Internal cohomomorphisms of associative algebras. Let k be a field. Consider pairs A = (A, A1) consisting of an associative k–algebra A and a finite dimensional subspace A1 generating A. For two such pairs A = (A, A1) and