In this paper, we consider an enriched orthogonality for classes of spaces, with respect to groupoids, simplicial sets and spaces themselves. This point of view allows one to characterize homotopy equivalences, shape and strong shape equivalences. We show that there exists a class of spaces, properly containing ANR-spaces, for which shape and strong shape equivalences coincide. For such a class of spaces homotopy orthogonality implies enriched orthogonality.
Keywords: ANR-space, enriched orthogonality, groupoid, homotopy structure, prospace, shape equivalence, simplicial set, ${\mathcal V}$-orthogonal object, strongly fibered space
2000 MSC: 55P10, 55P15, 55P5
Theory and Applications of Categories,
Vol. 22, 2009,
No. 11, pp 302-312.
http://www.tac.mta.ca/tac/volumes/22/11/22-11.dvi
http://www.tac.mta.ca/tac/volumes/22/11/22-11.ps
http://www.tac.mta.ca/tac/volumes/22/11/22-11.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/22/11/22-11.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/22/11/22-11.ps
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/22/11/22-11.pdf