Timeline for Is the smooth singular simplicial set of a smooth manifold a Kan complex?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 29, 2022 at 2:27 | comment | added | Dmitri Pavlov | @Yasha: The proofs of 4.36 and its dependencies 4.36, 4.34, 4.30, and 4.28 work equally well for compact simplices. | |
| Mar 29, 2022 at 2:05 | comment | added | Yasha | As far as I remember they have collared simplices, in which case the answer is pretty trivially yes. | |
| Mar 29, 2022 at 2:00 | history | answered | Dmitri Pavlov | CC BY-SA 4.0 |