Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Comments on Example 3.6.3.5

Go back to the page of Example 3.6.3.5.

Comment #1291 by Bogdan Zavyalov on

assuming that X is path connected, this condition is independent of the choice of base point

This can be deduced from the classical result of independence of homotopy groups via the topological definition. But, strictly speaking, here the homotopy groups are defined as homotopy groups of the simplicial set . It seems that currently it is not proven that homotopy groups of a connected Kan complex are independent of a point (or may be I just can't find it).

There are also:

  • 5 comment(s) on Chapter 3: Kan Complexes
  • 2 comment(s) on Section 3.6: Comparison with Topological Spaces

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 013U. The letter 'O' is never used.