Results 1  10
of
10
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 50 (7 self)
 Add to MetaCart
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
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 39 (2 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.
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 37 (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
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 32 (10 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.
Ktheory and derived equivalences
 Duke Math. J
"... Abstract. 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. Contents ..."
Abstract

Cited by 28 (6 self)
 Add to MetaCart
Abstract. 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. Contents
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 23 (8 self)
 Add to MetaCart
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.
Developing Theories of Types and Computability via Realizability
, 2000
"... We investigate the development of theories of types and computability via realizability. ..."
Abstract

Cited by 20 (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:
ATG Equivalences of monoidal model categories
, 2003
"... 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 [S ..."
Abstract
 Add to MetaCart
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 [SS03] concerning stable model categories translate to any one of the known symmetric monoidal model categories of spectra. AMS Classification 55U35; 18D10, 55P43, 55P62
Paracategories II: Adjunctions, fibrations and examples from probabilistic automata theory
, 2002
"... In this sequel to [HM02], we explore some of the global aspects of the category of paracategories. We establish its (co)completeness and cartesian closure. From the closed structure we derive the relevant notion of transformation for paracategories. We setup the relevant notion of adjunction betwee ..."
Abstract
 Add to MetaCart
In this sequel to [HM02], we explore some of the global aspects of the category of paracategories. We establish its (co)completeness and cartesian closure. From the closed structure we derive the relevant notion of transformation for paracategories. We setup the relevant notion of adjunction between paracategories and apply it to define (co)completeness and cartesian closure, exemplified by the paracategory of bivariant functors and dinatural transformations. We introduce partial multicategories to account for partial tensor products. We also consider fibrations for paracategories and their indexedparacategory version. Finally, we instantiate all these concepts in the context of probabilistic automata.