P.S. (очепятки)
следует читать:
Конечно же, не точная последовательность, а ретракция..
и
У меня :-) , получилось доказать, что пара сопряжённых функторов G^ W^-, где G- функтор Кана, W^-функтор классифицирующего пространства дают слабую эквивалентность GWГ->Г