24 Jul
2002
24 Jul
'02
11:16 a.m.
Hello, Here is the situation : C and D are two categories enriched over the category of Hausdorff compactly generated topological spaces. So for any object X,Y, C(X,Y) and D(X,Y) are topological spaces and everything is continuous. F:C-->D and G:D-->C are two functors satisfying : there exists a natural continuous map C(FX,Y)-->D(X,GY) which is always a weak homotopy equivalence. pg. 26-Jul-2002 09:45:28 -0300,4637;000000000001-00000022