"A model for the homotopy theory of homotopy theory"
Charles Rezk
(Primary 55U35; Secondary 18G30)
Department of Mathematics
Northwestern University
Evanston, IL 60208
rezk@math.nwu.edu
November 3, 1998
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.