|CHARLES REZK, Northwestern University, Evanston, Illinois 60208, USA|
|A model for the homotopy theory of homotopy theory|
We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models has a well-behaved internal hom-object. This set-up has applications to problems of realizing diagrams up to homotopy by ``honest'' diagrams.