Results 1  10
of
13
A convenient model category for commutative ring spectra
, 2003
"... We develop a new system of model structures on the modules, algebras and commutative algebras over symmetric spectra. In addition to the same properties as the standard stable model structures defined in [HSS] and [MMSS], these model structures have better compatibility properties between commutati ..."
Abstract

Cited by 76 (5 self)
 Add to MetaCart
We develop a new system of model structures on the modules, algebras and commutative algebras over symmetric spectra. In addition to the same properties as the standard stable model structures defined in [HSS] and [MMSS], these model structures have better compatibility properties between commutative algebras and the underlying modules.
Combinatorial model categories have presentations
 Adv. in Math. 164
, 2001
"... Abstract. We show that every combinatorial model category is Quillen equivalent to a localization of a diagram category (where ‘diagram category’ means diagrams of simplicial sets). This says that every combinatorial model ..."
Abstract

Cited by 73 (10 self)
 Add to MetaCart
(Show Context)
Abstract. We show that every combinatorial model category is Quillen equivalent to a localization of a diagram category (where ‘diagram category’ means diagrams of simplicial sets). This says that every combinatorial model
HZalgebra spectra are differential graded algebras
 Amer. Jour. Math
, 2004
"... Abstract: We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZalgebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded algebras and HZalgebra spectra. We also construct Qu ..."
Abstract

Cited by 63 (17 self)
 Add to MetaCart
Abstract: We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZalgebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded algebras and HZalgebra spectra. We also construct Quillen equivalences between the differential graded modules and module spectra over these algebras. We use these equivalences in turn to produce algebraic models for rational stable model categories. We show that bascially any rational stable model category is Quillen equivalent to modules over a differential graded Qalgebra (with many objects). 1.
Equivalences of monoidal model categories
 Algebr. Geom. Topol
, 2002
"... Abstract: We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established model categories of monoids, modules and algebras [ ..."
Abstract

Cited by 49 (10 self)
 Add to MetaCart
(Show Context)
Abstract: We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established model categories of monoids, modules and algebras [SS00]. As an application we extend the DoldKan equivalence to show that the model categories of simplicial rings, modules and algebras are Quillen equivalent to the associated model categories of connected differential graded rings, modules and algebras. We also show that our classification results from [SS] concerning stable model categories translate to any one of the known symmetric monoidal model categories of spectra. 1.
KTheory and Derived Equivalences
, 2003
"... We show that if two rings have equivalent derived categories then they have the same algebraic Ktheory. Similar results are given for Gtheory, and for a large class of abelian categories. ..."
Abstract

Cited by 46 (7 self)
 Add to MetaCart
We show that if two rings have equivalent derived categories then they have the same algebraic Ktheory. Similar results are given for Gtheory, and for a large class of abelian categories.
Universal homotopy theories
 Adv. Math
"... Abstract. Begin with a small category C. The goal of this short note is to point out that there is such a thing as a ‘universal model category built from C’. We describe applications of this to the study of homotopy colimits, the DwyerKan theory of framings, to sheaf theory, and to the homotopy the ..."
Abstract

Cited by 46 (3 self)
 Add to MetaCart
Abstract. Begin with a small category C. The goal of this short note is to point out that there is such a thing as a ‘universal model category built from C’. We describe applications of this to the study of homotopy colimits, the DwyerKan theory of framings, to sheaf theory, and to the homotopy theory of schemes. Contents
Replacing model categories with simplicial ones
 Trans. Amer. Math. Soc
"... Abstract. In this paper we show that model categories of a very broad class can be replaced up to Quillen equivalence by simplicial model categories. 1. ..."
Abstract

Cited by 31 (2 self)
 Add to MetaCart
(Show Context)
Abstract. In this paper we show that model categories of a very broad class can be replaced up to Quillen equivalence by simplicial model categories. 1.
Developing Theories of Types and Computability via Realizability
, 2000
"... We investigate the development of theories of types and computability via realizability. ..."
Abstract

Cited by 21 (6 self)
 Add to MetaCart
We investigate the development of theories of types and computability via realizability.
Part II Local Realizability Toposes and a Modal Logic for
"... 5.1 Definition and Examples 5.1.1 Definition and Definability Results A tripos is a weak tripos with disjunction which has a (weak) generic object. Explicitly we define: ..."
Abstract
 Add to MetaCart
5.1 Definition and Examples 5.1.1 Definition and Definability Results A tripos is a weak tripos with disjunction which has a (weak) generic object. Explicitly we define: