Timeline for When is a locally presentable category (locally) cartesian-closed?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 1 at 11:23 | comment | added | varkor | Borceux and Pedicchio actually prove a stronger result: that if $C$ is a category with pullback-stable finite colimits, then $\mathrm{Lex}(C^{\text{op}}, \mathrm{Set})$ is locally cartesian closed. | |
| Oct 1 at 11:22 | history | edited | varkor | CC BY-SA 4.0 |
deleted 1 character in body
|
| Oct 1 at 11:16 | history | edited | varkor | CC BY-SA 4.0 |
added 8 characters in body
|
| Oct 24, 2020 at 7:48 | history | answered | Ivan Di Liberti | CC BY-SA 4.0 |