Timeline for Fibrations of fibrant marked simplicial sets
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 22, 2021 at 16:53 | vote | accept | Martin Bidlingmaier | ||
| Sep 22, 2021 at 7:27 | answer | added | Alexander Campbell | timeline score: 3 | |
| Sep 21, 2021 at 17:12 | comment | added | Martin Bidlingmaier | I realize that the forgetful functor, as a right Quillen functor, preserves fibrations. Why does it reflect fibrations though? | |
| Sep 21, 2021 at 16:49 | comment | added | Dylan Wilson | That's true (better: the forgetful functor to sSet with the Joyal model structure is the right adjoint in a Quillen equivalence.) That's a very special case of HTT.3.1.5.1. | |
| Sep 21, 2021 at 15:31 | history | asked | Martin Bidlingmaier | CC BY-SA 4.0 |