Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is it right to consider assigning a fundamental group to a topological space the same as having a functor from $\mathbf{Top}$ to $\mathbf{Grp}$ ? Are there any other examples of such functors ?

share|cite|improve this question
up vote 26 down vote accepted

Assigning the fundamental group to a topological space is definitely a functor. But you have to keep in mind that a fundamental group is always taken with respect to a base point, and hence the functor assigns a pair $(X,x_0)$ consisting of a topological space $X$ and a point $x_0\in X$ to its fundamental group $\pi_1(X,x_0)$. As such, the functor goes from $\mathbf{Top}_\ast$ to $\mathbf{Grp}$.

In more detail, the fundamental group $\pi_1(X,x_0)$ is the group of homotopy classes of loops starting and ending in the base point $x_0$. It is not so hard to show that the map $[\gamma]\mapsto[f\circ\gamma]$ is well-defined for each loop $\gamma$ from $x_0$ to $x_0$ and each morphism $f:(X,x_0)\to(Y,y_0)$ of the category $\mathbf{Top}_\ast$; we take this map to be $\pi_1(f)$. Roughly, this is a definition by post-composition, so it is immediate that this functor respects identity morphisms and compositions.

This is a side remark, because you have been asking about the fundamental group explicitly. But I feel it is in place here because it is natural to consider a functor with domain $\mathbf{Top}$ that is `like taking the fundamental group'.

Instead of $\mathbf{Top}_\ast\to\mathbf{Grp}$, one could also work with a functor $\mathbf{Top}\to\mathbf{Grpd}$, where the category $\mathbf{Grpd}$ is the category of groupoids (categories in which all morphisms are isomorphisms). The functor sends a topological space $X$ to the groupoid which has the points of $X$ as objects and between two points $x$ and $y$ of $X$ the morphisms are the homotopy classes of paths from $x$ to $y$. This gives you the fundamental groupoid rather than the fundamental group.

The n-lab has more information on the fundamental groupoid.

There are many more examples of functors from $\mathbf{Top}$ or related categories. An important one is the singular functor to the category $\mathbf{Sset}$ of simplicial sets. The category if simplicial sets is defined as follows: first you consider the category $\Delta$ consisting of an object $[n]$ for each natural number $n$, where $[n]$ is the partial ordered set $\{0,\ldots,n\}$ with the usual order; the morphisms are the order preserving maps. Then $\mathbf{Sset}$ is the category of contravariant functors from $\Delta$ to $\mathbf{Set}$.

For each natural number $n$, there is the topological space $$ |\Delta^n|:=\big\{(t_0,\ldots,t_n)\in[0,1]^{n+1}:\textstyle\sum_{i=0}^n t_i=1\big\}, $$ which is called the standard $n$-simplex. To test your understanding of these definitions, you can show that the map $[n]\mapsto|\Delta^n|$ is a functor from $\Delta$ to $\mathbf{Top}$. Now we can define the functor $S:\mathbf{Top}\to\mathbf{Sset}$, which is called the singular functor, by assigning to each topological space $X$ the functor $$ n\mapsto\mathbf{Top}(|\Delta^n|,X) $$ It turns out that the simplicial sets $S(X)$ have very nice properties. One of them is that they really are $\infty$-groupoids. Also, the set $\mathbf{Top}(|\Delta^n|,X)$ is used to define the $n$-th homology group of $X$, which is gives yet another functor from the category of topological spaces. All of these functors have been (and are) important for the investigation of topological spaces.

share|cite|improve this answer
Thanks, this is very nice... I cannot upvote apparently but I would if I could – JeanThiviers Jun 3 '12 at 17:12
@JeanThiviers: it's a bit strange that you can't upvote it, but don't worry about it :) I included a link to the n-lab page where you can learn more about fundamental groupoids. – Egbert Jun 3 '12 at 17:16
Lovely answer, thank you. By the way, this reminds me of a question that came up recently, but I couldn't find the answer online: is the fundamental group functor continuous and cocontinuous? I mean, I think I know it's cocontinuous, that's given by the Seifert-van Kampen theorem. And I know it preserves products. But what about general inverse limits? – ziggurism Jun 4 '12 at 1:38

Sort of. Technically, a fundamental group is assigned to a pointed topological space, that is a topological space with a distinguished point (the basepoint of your loops). The category of such spaces is denoted $\textbf{Top}_\ast$, and to make a functor from there to $\textbf{Grp}$, you not only need to assign a group to each space (i.e. the fundamental group) but also assign to each morphism in $\textbf{Top}_\ast$ a morphism in $\textbf{Grp}$, in a way that is compatible with composition of morphisms and sends the identity to the identity.

In this context, this means assigning to each continuous map $f$ that preserves basepoints (i.e. maps the basepoint of one space to the basepoint of the other) a homomorphism $f_*$ of the corresponding fundamental groups, such that $\operatorname{id}_* = \operatorname{id}$ and $(f\circ g)_* = f_* \circ g_*$. We can do this by saying, if $[u]$ is the homotopy class of the path $[u]$, then $f_*[u] = [f\circ u]$. Hence we can define a functor using the fundamental group.

The homology groups are also functors, this time from triangulable topological spaces (not pointed!) to abelian groups (modulo some complications; see the comments).

share|cite|improve this answer
Technically, you need to work in the category of pointed spaces. – user641 Jun 3 '12 at 9:28
@SteveD oh right, yes. My category theory knowledge is a bit scattered – is there a standard notation for that category? (feel free to edit my answer if you think you can make it more correct) – Ben Millwood Jun 3 '12 at 9:31
@benmachine I edited your answer to clarify that one needs to work in the category of pointed topological spaces; I hope this is OK. – Amitesh Datta Jun 3 '12 at 11:12
Standard notation is $\textbf{Top}_*$, actually. – Zhen Lin Jun 3 '12 at 11:44
@ZhenLin Yes, I wanted to write that but I forgot the LaTeX code for it. The closest symbol to that for which I knew the LaTeX code was $\bigodot$ which is why I used $\bigodot$ instead. – Amitesh Datta Jun 3 '12 at 12:16

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.