1
$\begingroup$

Is there a left adjoint to the inclusion of the full subcategory of 1-connected spaces into the category of all spaces?

  • 1
    A left adjoint would map the initial space, the empty space, to some initial simply connected space, but there is no initial simply connected space at all. In order to make your question more interesting, you should talk about pointed spaces in each case.2012-07-14
  • 0
    @MartinBrandenburg : Is the empty set not vacuously simply connected?2012-07-14

1 Answers 1

1

Martin points out in the comments that one should include basepoints to make the question interesting. However, the inclusion functor $\text{1-connected based spaces} \to \text{based spaces}$ does not have a left adjoint because it does not preserve pullbacks. Consider the pullback in 1-connected based spaces of $f: (\mathbb R, 1) \rightarrow (\mathbb R, 0) \leftarrow (\mathbb R, 0) : g$ given by $f(x) = 1-x^2$ and $g(y) = y^2$. This pullback is some 1-connected space. But the pullback of the diagram in based spaces is $S^1$.

  • 0
    It seems possible to me that the inclusion has a right adjoint, however.2012-07-14
  • 0
    It seems to me that you claim that the category of $1$-connected spaces has pullbacks. Can you comment why this should be true? Obviously they cannot be formed in spaces.. Thanks2012-07-15
  • 0
    Fair point. The real problem here, though, is non-locally path connected, 1-connected spaces.2012-07-15