Timeline for Why does the category of definable sets of $T^\mathrm{eq}$ have coproducts?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 20, 2022 at 16:23 | comment | added | godelian | @user478652 In general in stability theory one is interested in infinite models, so the assumption is not mentioned explicitly as one expects the theory to have infinite models. | |
| Mar 20, 2022 at 16:21 | vote | accept | user478652 | ||
| Mar 20, 2022 at 16:20 | comment | added | user478652 | Thanks! Mhm, the nLab (and other places such as math.ias.edu/~lurie/278xnotes/Lecture8-Topologies.pdf) don't assume T to be proper. So did they forgot that assumption or do they use the convention that (-)^eq adds not only quotients but also one two-element sort? | |
| Mar 20, 2022 at 13:30 | history | edited | godelian | CC BY-SA 4.0 |
added 373 characters in body
|
| Mar 20, 2022 at 13:21 | history | answered | godelian | CC BY-SA 4.0 |