Subject: question for the list
Date: Thu, 8 Apr 2004 11:46:45 +0100
From: "Neil Strickland" <N.P.Strickland@sheffield.ac.uk>
To: "Don Davis" <dmd1@lehigh.edu>

If X is a connected space with nondegenerate basepoint, then I think
the homotopy category of spaces over X should be Quillen-equivalent
to the homotopy category of spaces with an action of the Moore loop
space of X.  One of the functors should send a space over X to its
homotopy fibre.  Does anyone know a reference where this is worked
out in detail?  I'd much prefer a topological treatment, but would
settle for a simplicial one if absolutely necessary.

Neil