Abstract
As part of a program to study Pro n-types and Proper n-types of locally finite simplicial complexes, in this paper we give notions of n-fibrations, n-cofibrations and weak n-equivalences in the category of crossed complexes Crs that satisfy the axioms for a closed model structure in the sense of Quillen. The category obtained by formal inverting the weak n-equivalences Hon(Crs) is said to be the category of n-types of crossed complexes. We also extend the notions above to pro-crossed complexes, pro-simplicial sets and prospaces to obtain the categories Hon(proCrs), Hon(proSS) and Hon(proTop).
We consider the notions of ℑn-space (a slight modification of the notion of Jn-space given by J.H.C. Whitehead), ℑn-crossed complex and their generalizations to the categories of prospaces and pro-crossed complexes and we prove that the category of n-types of ℑn-prospace is equivalent to the category of n-types of ℑn-pro-crossed complexes. WE also use the properties of skeleton, coskeleton and truncation functors to compare categories of n-types to categories of homotopy types. This analysis allows one to give new category models for the categories of n-types of prospaces and pro-crossed complexes.
The authors acknowledge the finantial help given by the British-Spanish joint research program British Council-M.E.C., 1988-89, 51/18' and the research project P587-0062 of the DGYCYT.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Artin and B. Mazur, "Étale Homotopy", Lect. Notes in Math., no 100, Springer, 1969.
D. Edwards and H. Hastings, "Čech and Steenrod homotopy theories with applications to Geometric Topology", Lect. Notes Math., 542, Springer, 1976.
H.J. Baues, "Combinatorial Homotopy and 4-dimensional Complexes", deGruyter Expositions in Mathematics Vol. 2, deGruyter Berlin-New York, 1991.
H.J. Baues, "Algebraic Homotopy", Cambridge Studies in advanced mathematics 15, Cambridge University Press, 1989.
R. Brown and M. Golasiński, "The closed model category of crossed complexes", Cah. Top. Geom. Diff. Cat. 30 (1989) 61–82.
R. Brown and P.J. Higgins, "Tensor products and homotopies for ω-groupoids and crossed complexes", J. Pure Appl. Algebra 47 (1987) 1–33.
R. Brown and P.J. Higgins, "The classifying space of a crossed module", U.C.N.W. Maths. Preprint 90.20 (36p).
R. Brown and P.J. Higgins, "Crossed complexes and chain complexes with operators", Math. Proc. Camb. Phil. Soc. 107 (1990) 33–57.
P. Carrasco and A.M. Cegarra, "Group theoretic models for homotopy types", J. Pure Appl. Algebra, (1989).
P. Gabriel and M. Zisman, "Calculus of fractions and Homotopy Theory", Springer, Berlin (1966).
A. Grothendieck, "Technique De Descente Et Théorèmes d'Existence En Géométrie Algèbrique I–IV", Seminar Bourbaki, Exp. 190, 195, 212, 221, 1959–60, 1960–61.
L.J. Hernández and T. Porter, "Proper pointed maps from ℝn+1 to a σ-compact space", Math. Proc. Camb. Phil. Soc. 103 (1988) 462–475.
L.J. Hernández and T. Porter, "Global analogues of the Brown-Crossman proper homotopy groups", Math. Proc. Camb. Phil. Soc. 104 (1988) 483–496.
L.J. Hernández and T. Porter, "An embedding theorem for proper n-types at infinity", preprint (1990).
S. Mac Lane, "Historical note", J. Algebra 60 (1979) 319–320.
S. Mac Lane and J.H.C. Whitehead, "On the 3-type of a complex", Proc., Nat., Acad., Sci., Washington, 36, (1950) 41–48.
T. Porter, "Čech homotopy I", J. London Math. Soc. 6 (1963) 429–436.
D. Quillen, "Homotopical Algebra", Lect. Notes in Math, 43, Springer, 1967.
A. Strøm,"The homotopy category is a homotopy category", Arch. Math. 23 (1973) 435–441.
J.H.C. Whitehead, "Combinatorial homotopy. I", Bull. Amer. Math. Soc., 55(1949) 213–245.
J.H.C. Whitehead, "Combinatorial homotopy, II", Bull. Amer. Math. Soc., 55(1949) 453–496.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag
About this paper
Cite this paper
Hernández, L.J., Porter, T. (1992). Categorical models of N-types for pro-crossed complexes and ℑn-prospaces. In: Aguadé, J., Castellet, M., Cohen, F.R. (eds) Algebraic Topology Homotopy and Group Cohomology. Lecture Notes in Mathematics, vol 1509. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0087509
Download citation
DOI: https://doi.org/10.1007/BFb0087509
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55195-9
Online ISBN: 978-3-540-46772-4
eBook Packages: Springer Book Archive