Abstract. Let D be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from D to simplicial sets. As an application we construct homotopy localization functors on the category of simplicial sets which satisfy a stronger universal property than the customary homotopy localization functors do. 1.

Abstract. We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen’s small object argument). The necessity of such a generalization arose with appearance of several important examples of model categories which were proven to be non-cofibrantly generated [2, 6, 8, 20]. Our current approach allows for construction of functorial factorizations and localizations in the equivariant model structures on diagrams of spaces [10] and diagrams of chain complexes. We also formulate a non-functorial version of the argument, which applies in two different model structures on the category of pro-spaces [11, 20]. The examples above suggest a natural extension of the framework of cofibrantly generated model categories. We introduce the concept of a classcofibrantly

Abstract. We present an example of a homotopical localization functor which is not a localization with respect to any set of maps. Our example arises from equivariant homotopy theory. The technique of equivariant cellularization is developed and applied to the proof of the main result.

Abstract. In this paper we prove two theorems which resemble the classical cohomological and homological Brown representability theorems. The main difference is that our results classify contravariant functors from spaces to spaces up to weak equivalence of functors. In more detail, we show that every contravariant functor from spaces to spaces which takes coproducts to products up to homotopy, and takes homotopy pushouts to homotopy pullbacks is naturally weekly equivalent to a representable functor. The second representability theorem states: every contravariant continuous functor from the category of finite simplicial sets to simplicial sets taking homotopy pushouts to homotopy pullbacks is equivalent to the restriction of a representable functor. This theorem may be considered as a contravariant analog of Goodwillie’s classification of linear functors [15].