Timeline for Link between homotopy equivalence of simplicial sets and categorical equivalences
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 3, 2019 at 19:21 | answer | added | Harry Gindi | timeline score: 4 | |
| Jan 3, 2019 at 19:09 | history | edited | David White | CC BY-SA 4.0 |
edited body; edited tags
|
| Jan 3, 2019 at 17:00 | comment | added | Dylan Wilson | A map of $\infty$-groupoids (i.e. Kan complexes) is a categorical equivalence if and only if it is a Kan equivalence, and the fibrant replacement map from $\mathcal{C}$ to its 'groupoidifcation' is a Kan equivalence so you learn that a functor is a Kan equivalence if and only if it induces a categorical equivalence after inverting all the arrows. | |
| Jan 3, 2019 at 15:35 | history | asked | Oscar P. | CC BY-SA 4.0 |