## Return to Answer

1 [made Community Wiki]

This is Denis-Charles Cisinski's answer, given in the comments:

Yes, the map $\pi_0(W^{-1}C)\to W^{-1}\pi_0(C)$ is always an equivalence of categories (this follows immediately by comparing the corresponding universal properties). The same remains true (for formal reasons as well) if you look at the truncations of hom-spaces defined by $\pi_1$ and work up to an adequate notion of equivalence of 2-categories (in fact, you may as well truncate in dimension $n$ and get an equivalence of (n+1,1)-categories).
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 3, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9099781513214111, "perplexity_flag": "middle"}