Results 1  10
of
25
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 52 (0 self)
 Add to MetaCart
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
Crossed complexes and homotopy groupoids as non commutative tools for higher dimensional localtoglobal problems
 in Proceedings of the Fields Institute Workshop on Categorical Structures for Descent and Galois Theory, Hopf Algebras and Semiabelian Categories, September 2328, Fields Institute Communications,43
"... ..."
Homotopy limits and colimits and enriched homotopy theory
, 2006
"... Abstract. Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal is to explain both and show their equiv ..."
Abstract

Cited by 16 (2 self)
 Add to MetaCart
Abstract. Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal is to explain both and show their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, showing that the classical explicit constructions still give the right answer in the abstract sense, thus partially bridging the gap between classical homotopy theory and modern abstract homotopy theory. To do this we introduce a notion of “enriched homotopical categories”, which are more general than enriched model categories, but are still a good place to do enriched homotopy theory. This demonstrates that the presence of enrichment often simplifies rather than complicates matters, and goes some way toward achieving a better understanding of “the role of homotopy in homotopy theory.” Contents
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 12 (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
Spaces of maps into classifying spaces for equivariant crossed complexes
 Indag. Math. (N.S
, 1997
"... Abstract. The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of homotopy coherence theory for crossed complexes, using ..."
Abstract

Cited by 12 (7 self)
 Add to MetaCart
Abstract. The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of homotopy coherence theory for crossed complexes, using detailed results on the appropriate Eilenberg–Zilber theory, and of its relation to simplicial homotopy coherence. Again, our results give information not just on the homotopy classification of certain equivariant maps, but also on the weak equivariant homotopy type of the corresponding equivariant function spaces. Mathematics Subject Classifications (2001): 55P91, 55U10, 18G55. Key words: equivariant homotopy theory, classifying space, function space, crossed complex.
Crossed complexes, and free crossed resolutions for amalgamated sums and HNNextensions of groups
 Georgian Math. J
, 1999
"... Dedicated to Hvedri Inassaridze for his 70th birthday The category of crossed complexes gives an algebraic model of CWcomplexes and cellular maps. Free crossed resolutions of groups contain information on a presentation of the group as well as higher homological information. We relate this to the p ..."
Abstract

Cited by 9 (7 self)
 Add to MetaCart
(Show Context)
Dedicated to Hvedri Inassaridze for his 70th birthday The category of crossed complexes gives an algebraic model of CWcomplexes and cellular maps. Free crossed resolutions of groups contain information on a presentation of the group as well as higher homological information. We relate this to the problem of calculating nonabelian extensions. We show how the strong properties of this category allow for the computation of free crossed resolutions for amalgamated sums and HNNextensions of groups, and so obtain computations of higher homotopical syzygies in these cases. 1
A remark on Ktheory . . .
, 2003
"... It is now well known that the Ktheory of a Waldhausen category depends on more than just its (triangulated) ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
It is now well known that the Ktheory of a Waldhausen category depends on more than just its (triangulated)
HOMOTOPY TRANSITION COCYCLES
 JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, VOL. 1(1), 2006, PP.273–283
, 2006
"... For locally homotopy trivial fibrations, one can define transition functions gαβ: Uα ∩ Uβ → H = H(F) where H is the monoid of homotopy equivalences of F to itself but, instead of the cocycle condition, one obtains only that gαβgβγ is homotopic to gαγ as a map of Uα ∩ Uβ ∩ Uγ into H. Moreover, on mul ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
For locally homotopy trivial fibrations, one can define transition functions gαβ: Uα ∩ Uβ → H = H(F) where H is the monoid of homotopy equivalences of F to itself but, instead of the cocycle condition, one obtains only that gαβgβγ is homotopic to gαγ as a map of Uα ∩ Uβ ∩ Uγ into H. Moreover, on multiple intersections, higher homotopies arise and are relevant to classifying the fibration. The full theory was worked out by the first author in his 1965 Notre Dame thesis [17]. Here we present it using language that has been developed in the interim. We also show how this points a direction ‘on beyond gerbes’.
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 2 (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