Abstract. We denote the n-th projective space of a topological monoid G by B n G and the classifying space by BG. Let G be a well-pointed topological monoid having the homotopy type of a CW complex and G a well-pointed grouplike topological monoid. We prove that there is a natural weak equivalence between the pointed mapping space Map 0 (B n G, BG ) and the space A n (G, G ) of all A n -maps from G to G . Moreover, if we suppose G = G , then an appropriate union of path-components of Map 0 (B n G, BG) is delooped.This fact has several applications. As the first application, we show that the evaluation fiber sequence Map 0 (B n G, BG) → Map(B n G, BG) → BG extends to the right. As other applications, we investigate higher homotopy commutativity, A n -types of gauge groups, T