Results 1  10
of
20
On differential graded categories
 INTERNATIONAL CONGRESS OF MATHEMATICIANS. VOL. II
, 2006
"... Differential graded categories enhance our understanding of triangulated categories appearing in algebra and geometry. In this survey, we review their foundations and report on recent work by Drinfeld, DuggerShipley,..., Toën and ToënVaquié. ..."
Abstract

Cited by 184 (3 self)
 Add to MetaCart
(Show Context)
Differential graded categories enhance our understanding of triangulated categories appearing in algebra and geometry. In this survey, we review their foundations and report on recent work by Drinfeld, DuggerShipley,..., Toën and ToënVaquié.
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 178 (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
Stable model categories are categories of modules
 TOPOLOGY
, 2003
"... 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 ..."
Abstract

Cited by 117 (20 self)
 Add to MetaCart
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 EilenbergMac Lane spectrum HR and (unbounded) chain complexes of Rmodules for a ring R.
A Cellular Nerve for Higher Categories
, 2002
"... ... categories. The associated cellular nerve of an ocategory extends the wellknown simplicial nerve of a small category. Cellular sets (like simplicial sets) carry a closed model structure in Quillen’s sense with weak equivalences induced by a geometric realisation functor. More generally, there ..."
Abstract

Cited by 35 (3 self)
 Add to MetaCart
(Show Context)
... categories. The associated cellular nerve of an ocategory extends the wellknown simplicial nerve of a small category. Cellular sets (like simplicial sets) carry a closed model structure in Quillen’s sense with weak equivalences induced by a geometric realisation functor. More generally, there exists a dense subcategory YA of the category of Aalgebras for each ooperad A in Batanin’s sense. Whenever A is contractible, the resulting homotopy category of Aalgebras (i.e. weak ocategories) is
Quasicategories vs Segal spaces
 IN CATEGORIES IN ALGEBRA, GEOMETRY AND MATHEMATICAL
, 2006
"... We show that complete Segal spaces and Segal categories are Quillen equivalent to quasicategories. ..."
Abstract

Cited by 25 (0 self)
 Add to MetaCart
(Show Context)
We show that complete Segal spaces and Segal categories are Quillen equivalent to quasicategories.
Iterated wreath product of the simplex category and iterated loop spaces
 Adv. Math
"... Abstract. Generalising Segal’s approach to 1fold loop spaces, the homotopy theory of nfold loop spaces is shown to be equivalent to the homotopy theory of reduced Θnspaces, where Θn is an iterated wreath product of the simplex category ∆. A sequence of functors from Θn to Γ allows for an alternat ..."
Abstract

Cited by 24 (5 self)
 Add to MetaCart
(Show Context)
Abstract. Generalising Segal’s approach to 1fold loop spaces, the homotopy theory of nfold loop spaces is shown to be equivalent to the homotopy theory of reduced Θnspaces, 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 EilenbergMacLane 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.
Monoidal uniqueness of stable homotopy theory
 Adv. in Math. 160
, 2001
"... Abstract. We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. As an application we show that with an added assumption about underlyi ..."
Abstract

Cited by 13 (8 self)
 Add to MetaCart
(Show Context)
Abstract. We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. As an application we show that with an added assumption about underlying model structures Margolis ’ axioms uniquely determine the stable homotopy category of spectra up to monoidal equivalence. Also, the equivalences constructed here give a unified construction of the known equivalences of the various symmetric monoidal categories of spectra (Smodules, Wspaces, orthogonal spectra, simplicial functors) with symmetric spectra. The equivalences of modules, algebras and commutative algebras in these categories are also considered. 1.
The orthogonal subcategory problem in homotopy theory
 Proceedings of the Arolla conference on Algebraic Topology 2004
"... Abstract. It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a largecardinal axiom called Vopěnka’s principle. In this article we extend the validity of this result to any left proper, combinat ..."
Abstract

Cited by 13 (6 self)
 Add to MetaCart
(Show Context)
Abstract. It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a largecardinal axiom called Vopěnka’s principle. In this article we extend the validity of this result to any left proper, combinatorial, simplicial model category M and show that, under additional assumptions on M, every homotopy idempotent functor is in fact a localization with respect to some set of maps. These results are valid for the homotopy category of spectra, among other applications.
Classification of Stable Model Categories
"... 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 ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
(Show Context)
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 EilenbergMac Lane spectrum HR and (unbounded) chain complexes of Rmodules for a ring R. 1.
Goodwillie Calculus in the category of algebras over a spectral operad. preprint available at http://math.mit.edu/ luisalex/GoodwillieCalculusinAlgO.pdf, 2013. 50 [Shi04] [SS00] [SS03] [Whi14] Charles Rezk. Spaces of algebra structures and cohomology of o
, 1996
"... The main purpose of this paper is to apply the theory developed in [26] to the specific case of functors between categories of the form AlgO. Section 1 introduces the basic necessary definitions and notations about symmetric spectra SpΣ, model structures in that category, operads and algebras over t ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
The main purpose of this paper is to apply the theory developed in [26] to the specific case of functors between categories of the form AlgO. Section 1 introduces the basic necessary definitions and notations about symmetric spectra SpΣ, model structures in that category, operads and algebras over them, and model structures in the categories of algebras. Section 2 then begins the task of understanding (finitary) homogeneous functors between algebra categories by understanding their stabilization. The results here are Theorem 2.3 and its Corollary 2.8 showind that the stabilization of AlgO is the module category ModO(1). Section 3 completes the task of classifying (finitary) homogeneous functors between algebra categories by classifying homogeneous functors between their stabilizations, the module categories. The result here is Theorem 3.2, which generalizes the well known characterization in the case of spectra. Finally, section 4 concludes the paper by establishing our main results about Goodwillie calculus in the AlgO categories. In subsection 4.1 we finally establish Theorem 4.3, saying that the Goodwillie tower for IdAlgO is indeed the homotopy completion tower studied in [17]. Subsection 4.2 establishes Theorem 4.8, which is probably more surprising. It roughly says that, as far as (finitary) nexcisive functors are concerned, Goodwillie calculus can not distinguish the