Mathematics – Algebraic Topology
Scientific paper
2012-03-22
Mathematics
Algebraic Topology
a misprint in the abstract of the (22 March 2012) version is corrected and the arrow in Proposition 5.9 now points in the corr
Scientific paper
We show that the classifying space functor $B: Mon \to Top*$ from the category of topological monoids to the category of based spaces is left adjoint to the Moore loop space functor $\Omega': Top*\to Mon$ after we have localized $Mon$ with respect to all homomorphisms whose underlying maps are homotopy equivalences and $Top*$ with respect to all based maps which are (not necessarily based) homotopy equivalences. It is well-known that this localization of $Top*$ exists, and we show that the localization of $Mon$ is the category of monoids and homotopy classes of homotopy homomorphisms. To make this statement precise we have to modify the classical definition of a homotopy homomorphism, and we discuss the necessary changes. The adjunction is induced by an adjunction up to homotopy between the category of well-pointed monoids and homotopy homomorphisms and the category of well-pointed spaces. This adjunction is shown to lift to diagrams. As a consequence, the well-known derived adjunction between the homotopy colimit and the constant diagram functor can also be seen to be induced by an adjuction up to homotopy before taking homotopy classes. As applications we among other things deduce a more algebraic version of the group completion theorem and show that the classifying space functor preserves homotopy colimits up to natural homotopy equivalences.
No associations
LandOfFree
Homotopy homomorphisms and the classifying space functor does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Homotopy homomorphisms and the classifying space functor, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Homotopy homomorphisms and the classifying space functor will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-381789