In the [n-lab entry about shape theory](http://ncatlab.org/nlab/show/shape+theory) one can read that 



> 
> Strong Shape Theory [...] has, especially
>  in the approach pioneered by Edwards
>  and Hastings, strong links to proper
>  homotopy theory. The links are a form
>  of duality related to some of the more
>  geometric duality theorems of
>  classical cohomology.
> 
> 
> 


I would be interested in any reference where I can find a precise formulation of this duality. 


EDIT: according to Gjergji Zaimi's answer the duality might be an improvement of Chapman's complement theorem. One can find it as Theorem 6.5.3 on page 230 of the book by Edwards and Hastings ("Cech and Steenrod Homotopy Theories with Applications to Geometric Topology"). Nevertheless, it seems to me that what was meant on the n-lab entry was more a cohomology type duality (like an instance of Verdier duality in the $(\infty,1)$-ctageorical context). Am I completely wrong?



Duality between proper homotopy theory and strong shape theory
A quick summary of the story is told in section 7 of S. Mardešić's "Shape Theory" from the ICM proceedings (1978) (find [here](http://www.mathunion.org/ICM/ICM1978.1/)). Strong shape theory was introduced by Edwards and Hastings keeping in mind this duality, which was inspired by Chapman's complement theorem (mentioned in the nlab article).


