Timeline for Limits in free cocompletion, constructively
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8 at 22:40 | comment | added | Simon Henry | @TimCampion I don't really remember to be honest! I'll need to think a little about it to be honest. There are a few places where they uses argument that involves cardinals and locally presentable categories (like prop 3.4 where they talk about accessible functors) as written this definitely is not constructively convincing, but it is also not clear the argument can't be made constructive... | |
| Oct 8 at 21:36 | comment | added | Tim Campion | "classical result" = Day and Lack, Thm 3.8. Where do they use choice? | |
| Sep 7, 2023 at 13:17 | history | edited | Simon Henry | CC BY-SA 4.0 |
deleted 2 characters in body
|
| Sep 7, 2023 at 13:10 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 19 characters in body
|
| Sep 7, 2023 at 13:09 | comment | added | Simon Henry | @D.-C.Cisinski Yes sorry I should have said it! I'll go edit right away. | |
| Sep 7, 2023 at 12:48 | comment | added | D.-C. Cisinski | Is $C$ locally small? I.e. can we assume we can work with small full subcategories $D$ of $C$? | |
| Sep 1, 2023 at 19:00 | history | asked | Simon Henry | CC BY-SA 4.0 |