homotopy type

Last modified date: <%+ tp.file.last_modified_date() %>



homotopy type

attachments/Pasted%20image%2020220528010836.png

If the the homotopy hypothesis holds, TFAE: - The infinity category of spaces (modeled by simplicial sets): take \({\mathsf{sSet}}\), take the Dweyer-Kan localization along weak homotopy equivalences, then take the homotopy coherent nerve. - Take the subcategory of Kan complexes that is enriched over \({\mathsf{Kan}}\) and use a standard mapping complex construction. - infinity groupoids, - anima

attachments/Pasted%20image%2020220408154904.png attachments/Pasted%20image%2020220408154837.png

Anima

attachments/Pasted%20image%2020220420095634.png

#todo/untagged #todo/add-references #todo/create-links