Results 1  10
of
93
Higher topos theory
, 2006
"... Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X; G); we will single out three of them for discussion here. First of all, we have the singular cohomology groups H n sing (X; G), which are defined to be cohomology of a chain com ..."
Abstract

Cited by 179 (1 self)
 Add to MetaCart
(Show Context)
Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X; G); we will single out three of them for discussion here. First of all, we have the singular cohomology groups H n sing (X; G), which are defined to be cohomology of a chain complex of Gvalued singular cochains on X. An alternative is to regard H n (•, G) as a representable functor on the homotopy category
The homotopy theory of dgcategories and derived Morita Theory
, 2006
"... The main purpose of this work is to study the homotopy theory of dgcategories up to quasiequivalences. Our main result is a description of the mapping spaces between two dgcategories C and D in terms of the nerve of a certain category of (C, D)bimodules. We also prove that the homotopy category ..."
Abstract

Cited by 153 (7 self)
 Add to MetaCart
The main purpose of this work is to study the homotopy theory of dgcategories up to quasiequivalences. Our main result is a description of the mapping spaces between two dgcategories C and D in terms of the nerve of a certain category of (C, D)bimodules. We also prove that the homotopy category Ho(dg −Cat) possesses internal Hom’s relative to the (derived) tensor product of dgcategories. We use these two results in order to prove a derived version of Morita theory, describing the morphisms between dgcategories of modules over two dgcategories C and D as the dgcategory of (C, D)bimodules. Finally, we give three applications of our results. The first one expresses Hochschild cohomology as endomorphisms of the identity functor, as well as higher homotopy groups of the classifying space of dgcategories (i.e. the nerve of the category of dgcategories and quasiequivalences between them). The second application is the existence of a good theory of localization for dgcategories, defined in terms of a natural universal property. Our last application states that the dgcategory of (continuous) morphisms between the dgcategories of quasicoherent (resp. perfect) complexes on two schemes (resp. smooth and proper schemes) is quasiequivalent
Homotopical algebraic geometry. II. Geometric stacks and applications
, 2006
"... ..."
(Show Context)
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 67 (16 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.
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 54 (3 self)
 Add to MetaCart
(Show Context)
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
Homotopical Algebraic Geometry I: Topos theory
, 2002
"... 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 Scategories (i.e. simplicially enriched categories) as models for certain kind of ..."
Abstract

Cited by 50 (19 self)
 Add to MetaCart
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 Scategories (i.e. simplicially enriched categories) as models for certain kind of ∞categories, and we develop the notions of Stopologies, Ssites and stacks over them. We prove in particular, that for an Scategory T endowed with an Stopology, there exists a model
ON LEFT AND RIGHT MODEL CATEGORIES AND LEFT AND RIGHT BOUSFIELD LOCALIZATIONS
"... We verify the existence of left Bousfield localizations and of enriched left Bousfield localizations, and we prove a collection of useful technical results characterizing certain fibrations of (enriched) left Bousfield localizations. We also use such Bousfield localizations to construct a number of ..."
Abstract

Cited by 46 (1 self)
 Add to MetaCart
We verify the existence of left Bousfield localizations and of enriched left Bousfield localizations, and we prove a collection of useful technical results characterizing certain fibrations of (enriched) left Bousfield localizations. We also use such Bousfield localizations to construct a number of new model categories, including models for the homotopy limit of right Quillen presheaves, for Postnikov towers in model categories, and for presheaves valued in a symmetric monoidal model category satisfying a homotopycoherent descent condition. We then verify the existence of right Bousfield localizations of right model categories, and we apply this to construct a model of the homotopy limit of a left Quillen presheaf as a right model category.
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 45 (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.
Spectral enrichments of model categories
, 2005
"... We prove that every stable, combinatorial model category can be enriched in a natural way over symmetric spectra. As a consequence of the general theory, every object in such a model category has an associated homotopy endomorphism ring spectrum. Basic properties of these invariants ..."
Abstract

Cited by 27 (5 self)
 Add to MetaCart
We prove that every stable, combinatorial model category can be enriched in a natural way over symmetric spectra. As a consequence of the general theory, every object in such a model category has an associated homotopy endomorphism ring spectrum. Basic properties of these invariants