Paths between 0-cells in a classifying space.

59 Views Asked by At

Let $\mathcal{C}$ be a small category. Giving a morphism $u: X \to Y$ in $\mathcal{C}$ is equivalent to giving a functor $f: \{0 < 1 \} \to \mathcal{C}$ (with $f(0) = X$, $f(1) = Y$, and $f(0 \to 1) = u$). Accordingly, such a morphism induces a path $Bf: I = B\{0 < 1 \} \to B\mathcal{C}$ from the 0-cell $X$ to the 0-cell $Y$. Is the converse true? That is,

If there exists a path between 0-cells in $B\mathcal{C}$, does there exist a corresponding morphism in $\mathcal{C}$?

(Here $B \mathcal{C}$ denotes the geometric (or topological) realization of $\mathcal{C}$.)

Edit: Sorry, my language was imprecise the first time round. I am not asking if all paths are induced $Bf$ for some $f$ as above. My question is

If two 0-cells are path-connected in the realisation, then does there exist a morphism in the category from one of the corresponding objects to the other?

So, if a path-component contains both 0-cells $X$ and $Y$, does there exist a morphism $X \to Y$ or $Y \to X$?

1

There are 1 best solutions below

4
On BEST ANSWER

No, of course not: once we pass to $\textbf{Top}$ we lose all sense of directionality. Let $\mathcal{C} = \{ 0 \to 1 \}$. Then there is a path $[0, 1] \to B \mathcal{C}$ corresponding to the morphism $0 \to 1$, but its inverse does not correspond to any morphism in $\mathcal{C}$.


The answer to the revised question is still no. Let $\mathcal{C} = \{ Y \rightarrow X \leftarrow Z \}$. In $B \mathcal{C}$, there is a path from $Y$ to $Z$, but there is no morphism $Y \to Z$ or $Z \to Y$ in $\mathcal{C}$.

What is true is the following: if $\mathcal{C}$ is a groupoid, then the homotopy type of $B \mathcal{C}$ is enough to determine $\mathcal{C}$ up to category-theoretic equivalence. This is the 1-dimensional case of the homotopy hypothesis.