Timeline for Universal model category as a $\text{sSet}$-enriched co-completion
Current License: CC BY-SA 4.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 18, 2020 at 18:02 | history | edited | YCor | CC BY-SA 4.0 |
formatting
|
May 16, 2020 at 20:30 | vote | accept | display llvll | ||
May 16, 2020 at 19:56 | answer | added | Simon Henry | timeline score: 3 | |
May 16, 2020 at 19:28 | history | edited | display llvll | CC BY-SA 4.0 |
deleted 88 characters in body
|
May 16, 2020 at 19:23 | comment | added | display llvll | @PhilippeGaucher Yes, of course it will be that. But there are details to be added to show the universal property in the general case, and I did not want to rediscover the wheel. | |
May 16, 2020 at 19:19 | comment | added | Philippe Gaucher | Naive comment: did you try to consider the category of presheaves valued in $\mathcal{V}$ ? | |
May 16, 2020 at 19:11 | history | asked | display llvll | CC BY-SA 4.0 |