Timeline for Reedy fibrancy and composition in Segal spaces
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 23, 2023 at 12:47 | comment | added | R. van Dobben de Bruyn | Ah right, that has a universal property in terms of $\operatorname{Hom}_{\operatorname{Fun}(\Delta^{\text{op}},\mathscr M)}$, not $\operatorname{Hom}_{\mathscr M}$. | |
| Apr 23, 2023 at 9:40 | vote | accept | Igor Sikora | ||
| Apr 23, 2023 at 0:35 | comment | added | Zhen Lin | That’s a different thing. Cotensoring a simplicial object with a simplicial set yields a simplicial object. | |
| Apr 23, 2023 at 0:13 | comment | added | R. van Dobben de Bruyn | I think nowadays people say that $\operatorname{Fun}(\Delta^{\text{op}},\mathscr M)$ is cotensored (or powered) over $\mathbf{sSet}$. Certainly the gospel according to Jacob uses this language. | |
| Apr 22, 2023 at 22:03 | comment | added | Zhen Lin | The weighted limit concept really should be more well known! It's unfortunate that most textbooks don't mention it. | |
| Apr 22, 2023 at 14:16 | comment | added | R. van Dobben de Bruyn | Oh nice, this is a little more systematic than my answer. | |
| Apr 22, 2023 at 13:42 | history | answered | Zhen Lin | CC BY-SA 4.0 |