Timeline for Inner fibrations are Kan fibrations on Map sets
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 16, 2019 at 17:12 | comment | added | Alessandro | Ah now I see, you're right. Thanks for pointing that | |
| Jun 15, 2019 at 16:04 | comment | added | Tim Campion | But just because the two mapping spaces are equivalent doesn't mean that if one is fibrant, so is the other. This is impicitly claimed in the statement of 4.2.1.8, but as pointed out by Zhen Lin in the MSE discussion I linked to, it doesn't appear that Lurie actually proves this model is fibrant. | |
| Jun 14, 2019 at 19:43 | history | edited | Alessandro | CC BY-SA 4.0 |
added 105 characters in body
|
| Jun 14, 2019 at 19:42 | comment | added | Alessandro | Yeah sorry, I didn't write they are equivalent. I'll edit the post. | |
| Jun 14, 2019 at 17:37 | comment | added | Tim Campion | Note that Lurie uses a different model for the mapping spaces, though. | |
| Jun 14, 2019 at 12:38 | history | answered | Alessandro | CC BY-SA 4.0 |