Results 1  10
of
24
Homotopy Coherent Category Theory
, 1996
"... this paper we try to lay some of the foundations of such a theory of categories `up to homotopy' or more exactly `up to coherent homotopies'. The method we use is based on earlier work on: ..."
Abstract

Cited by 36 (7 self)
 Add to MetaCart
this paper we try to lay some of the foundations of such a theory of categories `up to homotopy' or more exactly `up to coherent homotopies'. The method we use is based on earlier work on:
Secondary derived functors and the Adams spectral sequence
, 2006
"... Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of “additive groupoid enriched categories”, in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secon ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of “additive groupoid enriched categories”, in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show that the E3term of the Adams spectral sequence can be expressed as a secondary derived functor. This result can be used to compute the E3term explicitly by an algorithm.
SelfHomotopy Equivalences which Induce the Identity on Homology, Cohomology or Homotopy Groups
 Topology Appl
, 1998
"... Abstract. For a based, 1connected, nite CWcomplex X, we study the following subgroups of the group of homotopy classes of self homotopy equivalences of X: E(X), the subgroup of homotopy classes which induce the identity on homology groups, E(X), the subgroup of homotopy classes which induce the ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
Abstract. For a based, 1connected, nite CWcomplex X, we study the following subgroups of the group of homotopy classes of self homotopy equivalences of X: E(X), the subgroup of homotopy classes which induce the identity on homology groups, E(X), the subgroup of homotopy classes which induce the identity on cohomology groups and Edim+r # (X), the subgroup of homotopy classes which induce the identity on homotopy groups in dimensions dimX + r. We investigate these groups when X is a Moore space and when X is a coMoore space. We give the structure of the groups in these cases and provide examples of spaces for which the groups dier. We also consider conditions on X such that E(X) = E(X) and obtain a class of spaces (including compact, oriented manifolds and Hspaces) for which this holds. Finally, we examine Edim+r # (X) for certain spaces X and completely determine the group when X = Sm Sn and X = CPn _ S2n. If X is a based topological space, let E(X) denote the set of homotopy classes of self homotopy equivalences of X. Then E(X) is a group with group operation given by composition of homotopy classes. The group E(X) and certain natural subgroups are fundamental
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 8 (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
THE PORDER OF TOPOLOGICAL TRIANGULATED CATEGORIES
"... p annihilates objects of the form Y/p. In this paper we show that the porder of a topological ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
(Show Context)
p annihilates objects of the form Y/p. In this paper we show that the porder of a topological
Invariants of directed spaces
 Appl. Categ. Structures
"... URL: www.math.auc.dk/research/reports/reports.htm e ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
(Show Context)
URL: www.math.auc.dk/research/reports/reports.htm e
Higher order derived functors and the Adams spectral sequences, preprint
, 2011
"... ar ..."
(Show Context)
TOPOLOGICAL TRIANGULATED CATEGORIES
"... Many triangulated categories arise from chain complexes in an additive or abelian category by passing to chain homotopy classes or inverting quasiisomorphisms. Such examples are called ‘algebraic ’ because they have underlying additive categories. Stable homotopy theory produces examples of triangu ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
Many triangulated categories arise from chain complexes in an additive or abelian category by passing to chain homotopy classes or inverting quasiisomorphisms. Such examples are called ‘algebraic ’ because they have underlying additive categories. Stable homotopy theory produces examples of triangulated categories by quite different means, and in this context the underlying categories are usually very ‘nonadditive ’ before passing to homotopy classes of morphisms. We call such triangulated categories topological, and formalize this in Definition 1.4 via homotopy categories of stable cofibration categories. The purpose of this paper is to explain some systematic differences between algebraic and topological triangulated categories. There are certain properties – defined entirely in terms of the triangulated structure – which hold in all algebraic examples, but which can fail in general. The precise statements use the norder of a triangulated category, for n a natural number (see Definition 2.1). The norder is a nonnegative integer (or infinity), and it measures, roughly speaking, ‘how strongly ’ the relation n · Y/n = 0 holds for the objects Y in a given triangulated category (where Y/n denotes a cone of multiplication by n on Y). Our main results are: • The norder of every algebraic triangulated category is infinite (Theorem 3.3). • For every prime p, the porder of every topological triangulated category is at least p − 1 (Theorem 8.2). • For every prime p, the porder of the plocal stable homotopy category is exactly p − 1
Crossed complexes, free crossed resolutions and graph products of groups’, (submitted
"... 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 ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
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 of graph products of groups, and so obtain computations of higher homotopical syzygies in this case. 1
Groupoid enriched categories and natural systems
 Theory Appl. Categ. 2005
"... ..."
(Show Context)