Results 1  10
of
21
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
Higher dimensional algebra III: ncategories and the algebra of opetopes
, 1997
"... We give a definition of weak ncategories based on the theory of operads. We work with operads having an arbitrary set S of types, or ‘Soperads’, and given such an operad O, we denote its set of operations by elt(O). Then for any Soperad O there is an elt(O)operad O + whose algebras are Soperads ..."
Abstract

Cited by 109 (6 self)
 Add to MetaCart
We give a definition of weak ncategories based on the theory of operads. We work with operads having an arbitrary set S of types, or ‘Soperads’, and given such an operad O, we denote its set of operations by elt(O). Then for any Soperad O there is an elt(O)operad O + whose algebras are Soperads over O. Letting I be the initial operad with a oneelement set of types, and defining I 0+ = I, I (i+1)+ = (I i+) +, we call the operations of I (n−1)+ the ‘ndimensional opetopes’. Opetopes form a category, and presheaves on this category are called ‘opetopic sets’. A weak ncategory is defined as an opetopic set with certain properties, in a manner reminiscent of Street’s simplicial approach to weak ωcategories. In a similar manner, starting from an arbitrary operad O instead of I, we define ‘ncoherent Oalgebras’, which are n times categorified analogs of algebras of O. Examples include ‘monoidal ncategories’, ‘stable ncategories’, ‘virtual nfunctors ’ and ‘representable nprestacks’. We also describe how ncoherent Oalgebra objects may be defined in any (n + 1)coherent Oalgebra.
Deo/nitions: operads, algebras and modules
 Contemporary Mathematics 202
, 1997
"... There are many different types of algebra: associative, associative and commutative, Lie, Poisson, etc., etc. Each comes with an appropriate notion of a module. As is becoming more and more important in a variety of fields, it is often necessary to deal with algebras and modules of these sorts “up t ..."
Abstract

Cited by 33 (4 self)
 Add to MetaCart
(Show Context)
There are many different types of algebra: associative, associative and commutative, Lie, Poisson, etc., etc. Each comes with an appropriate notion of a module. As is becoming more and more important in a variety of fields, it is often necessary to deal with algebras and modules of these sorts “up to homotopy”. I shall give a very partial overview, concentrating on algebra, but saying a little about the original use of operads in topology. The development of abstract frameworks in which to study such algebras has a long history. As this conference attests, it now seems to be widely accepted that, for many purposes, the most convenient setting is that given by operads and their actions. While the notion was first written up in a purely topological framework [19], it was thoroughly understood by 1971 [12] that the basic definitions apply equally well in any underlying symmetric monoidal ( = tensor) category. The definitions and ideas had many precursors. I will indicate those that I was aware of at the time. • Algebraists such as Kaplansky, Herstein, and Jacobson systematically studied
An Introduction to nCategories, in
 7th Conference on Category Theory and Computer Science, eds. Moggi E., Rosolini G., Lecture Notes in Computer Science 1290
, 1997
"... ..."
(Show Context)
OPERADS, ALGEBRAS, MODULES, AND MOTIVES
"... Abstract. With motivation from algebraic topology, algebraic geometry, and string theory, we study various topics in differential homological algebra. The work is divided into five largely independent parts: I Definitions and examples of operads and their actions II Partial algebraic structures and ..."
Abstract

Cited by 16 (0 self)
 Add to MetaCart
(Show Context)
Abstract. With motivation from algebraic topology, algebraic geometry, and string theory, we study various topics in differential homological algebra. The work is divided into five largely independent parts: I Definitions and examples of operads and their actions II Partial algebraic structures and conversion theorems III Derived categories from a topological point of view IV Rational derived categories and mixed Tate motives V Derived categories of modules over E ∞ algebras In differential algebra, operads are systems of parameter chain complexes for multiplication on various types of differential graded algebras “up to homotopy”, for example commutative algebras, nLie algebras, nbraid algebras, etc. Our primary focus is the development of the concomitant theory of modules up to homotopy and the study of both classical derived categories of modules over DGA’s and derived categories of modules up to homotopy over DGA’s up to homotopy. Examples of such derived categories provide the appropriate setting for one approach to mixed Tate motives in algebraic geometry, both rational and integral.
On ∞topoi
, 2003
"... 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, one has the singular cohomology H n sing(X, G), which is defined as the cohomology of a complex of Gvalu ..."
Abstract

Cited by 13 (0 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, one has the singular cohomology H n sing(X, G), which is defined as the cohomology of a complex of Gvalued singular cochains. Alternatively, one may regard H n (•, G) as a representable functor on the homotopy category of topological spaces, and thereby define H n rep(X, G) to be the set of homotopy classes of maps from X into an EilenbergMacLane space K(G, n). A third possibility is to use the sheaf cohomology H n sheaf (X, G) of X with coefficients in the constant sheaf G on X. If X is a sufficiently nice space (for example, a CW complex), then all three of these definitions agree. In general, however, all three give different answers. The singular cohomology of X is constructed using continuous maps from simplices ∆k into X. If there are not many maps into X (for example if every path in X is constant), then we cannot expect H n sing (X, G) to tell us very much about X. Similarly, the cohomology group H n rep(X, G) is defined using maps from X into a simplicial complex, which (ultimately) relies on the existence of continuous realvalued functions on X. If X does not admit many realvalued functions, we should not expect H n rep (X, G) to be a useful invariant. However, the sheaf cohomology of X seems to be a good invariant for arbitrary spaces: it has excellent formal properties in general and sometimes yields
On the multiplicative structure of topological Hochschild homology, Algebr
 Geom. Topol
"... Abstract We show that the topological Hochschild homology THH(R) of an Enring spectrum R is an En−1ring spectrum. The proof is based on the fact that the tensor product of the operad Ass for monoid structures and the the little ncubes operad Cn is an En+1operad, a result which is of independent ..."
Abstract

Cited by 13 (1 self)
 Add to MetaCart
(Show Context)
Abstract We show that the topological Hochschild homology THH(R) of an Enring spectrum R is an En−1ring spectrum. The proof is based on the fact that the tensor product of the operad Ass for monoid structures and the the little ncubes operad Cn is an En+1operad, a result which is of independent interest. In 1993 Deligne asked whether the Hochschild cochain complex of an associative ring has a canonical action by the singular chains of the little 2cubes operad. Affirmative answers for differential graded algebras in characteristic 0 have been found by Kontsevich and Soibelman [11], Tamarkin [15] and [16], and Voronov [18]. A more general proof, which also applies to associative ring spectra is due to McClure and Smith [14]. In [10] Kontsevich extended Deligne’s question: Does the Hochschild cochain complex of an En differential graded algebra carry a canonical En+1structure? We consider the dual problem: Given a ring R with additional structure, how much structure does the topological Hochschild homology THH(R) of R inherit from R? The close connection of THH with algebraic Ktheory and with structural questions in the category of spectra make multiplicative structures on THH desirable. In his early work on topological Hochschild homology of functors with smash product Bökstedt proved that THH of a commutative such functor is a commutative ring spectrum (unpublished). The discovery of associative, commutative and unital smash product functors of spectra simplified the definition of THH and the proof of the corresponding result for E∞ring spectra considerably (e.g. see [13]). 1 In this paper we morally prove Theorem A: For n ≥ 2, if R is an Enring spectrum then THH(R) is an En−1ring spectrum. The same result has been obtained independently by Basterra and Mandell using different techniques [2]. Why “morally”? To define THH(R) we need R to be a strictly associative spectrum. In general, Enstructures do not have a strictly associative substructure. So we have to replace R by an equivalent strictly associative ring spectrum Y, whose multiplication extends to an Enstructure. Then the statement makes sense for Y. Here is a more precise reformulation of
MAPPING SPACES IN QUASICATEGORIES
"... Abstract. We apply the DwyerKan theory of homotopy function complexes in model categories to the study of mapping spaces in quasicategories. Using this, together with our work on rigidification from [DS1], we give a streamlined proof of the Quillen equivalence between quasicategories and simplici ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
(Show Context)
Abstract. We apply the DwyerKan theory of homotopy function complexes in model categories to the study of mapping spaces in quasicategories. Using this, together with our work on rigidification from [DS1], we give a streamlined proof of the Quillen equivalence between quasicategories and simplicial categories. Some useful material about relative mapping spaces in quasicategories is developed along the way. Contents
Categorification
 Contemporary Mathematics 230. American Mathematical Society
, 1997
"... Categorification is the process of finding categorytheoretic analogs of settheoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in turn should satisfy certain equations of their own, called ‘c ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
(Show Context)
Categorification is the process of finding categorytheoretic analogs of settheoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in turn should satisfy certain equations of their own, called ‘coherence laws’. Iterating this process requires a theory of ‘ncategories’, algebraic structures having objects, morphisms between objects, 2morphisms between morphisms and so on up to nmorphisms. After a brief introduction to ncategories and their relation to homotopy theory, we discuss algebraic structures that can be seen as iterated categorifications of the natural numbers and integers. These include tangle ncategories, cobordism ncategories, and the homotopy ntypes of the loop spaces Ω k S k. We conclude by describing a definition of weak ncategories based on the theory of operads. 1
Topological Hochschild Homology of EnRing Spectra
, 2004
"... Abstract We show that the topological Hochschild homology THH(R) of an Enring spectrum R is an En−1ring spectrum. In 1993 Deligne asked whether the Hochschild cochain complex of an associative ring has a canonical action by the singular chains of the little 2cubes operad. Affirmative answers for ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
(Show Context)
Abstract We show that the topological Hochschild homology THH(R) of an Enring spectrum R is an En−1ring spectrum. In 1993 Deligne asked whether the Hochschild cochain complex of an associative ring has a canonical action by the singular chains of the little 2cubes operad. Affirmative answers for differential graded algebras in characteristic 0 have been found by Kontsevich [13], Tamarkin [16] and [17], and Voronov [19]. A more general proof, which also applies to associative ring spectra is due to McClure and Smith [15]. We consider the dual problem: Given a ring R with additional structure, how much structure does the topological Hochschild homology THH(R) of R inherit from R? The close connection of THH with algebraic Ktheory and with structural questions in the category of spectra make multiplicative structures on THH desirable. In his early work on topological Hochschild homology of functors with smash product B”okstedt prove that THH of commutative such functor is a commutative ring spectrum (unpublished). The discovery of associative, commutative and unital smash product functors of spectra simplified the definition of THH and the proof of the corresponding result for E∞ring spectra considerably (e.g. see [14]). In this paper we morally prove Theorem A: For n ≥ 2, if R is an Enring spectrum then THH(R) is an En−1ring spectrum. 1 This result is an easy consequence of the universality of the Wconstruction of BoardmanVogt [7], [18] and an analysis of the tensor product of Enoperads [8], [12]. The same result has been obtained by Basterra and Mandell using different techniques [2]. Why “morally”? To define THH(R) we need R to be a strictly associative spectrum. In general, Enstructures do not have a strictly associative substructure. So we have to replace R by an equivalent strictly associative ring spectrum Y, whose multiplication extends to an Enstructure. Then the statement makes sense for Y. Here is a more precise reformulation of