# "Abstract nonsense" evidence that the basic team of a topological team is abelian

I appear to bear in mind analysis someplace an "abstract nonsense" evidence of the well - well-known reality that the basic team of a linked topological team is abelian. By "abstract nonsense" I suggest that the evidence made use of little bit greater than the reality that topological teams are the team things in the group of topological rooms and also the reality that $\pi_1$ is a homotopy functor. Does any person bear in mind just how this functions? Referrals are great.

There is a primarily ridiculous evidence in Robert M. Switzer is *Algebraic geography - - homotopy and also homology *, at the end of the first phase. (You can see it in googlebooks)

He confirms that if $X$ is an $H$ - cogroup, after that $[X,Y]$ is a team, which if $Y$ is an $H$ - team, after that $[X,Y]$ is additionally a team, so when $X$ and also $Y$ are an $H$ - cogroups and also an $H$ - team, specifically, after that $[X,Y]$ is a team in 2 means. And more.

Related questions