Timeline for Is there a version of the "infinitary" disjunctive normal form theorem for topoi and slice categories?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 19, 2018 at 23:08 | answer | added | Simon Henry | timeline score: 3 | |
| Nov 16, 2018 at 18:41 | comment | added | Mike Shulman | Also possibly relevant is the notion of "atomic topos". C3.5.3 of Sketches of an Elephant says that a localic topos is a slice category of Set if and only if it is atomic, and if and only if it is Boolean and has enough points. The localic condition can be removed for $\infty$-topoi (golem.ph.utexas.edu/category/2018/06/…) although then the notion of "slice category" is more general; also the notion of "atomic topos" is not very clearly related to complete distributivity. | |
| Nov 16, 2018 at 18:38 | comment | added | Mike Shulman | I don't know the answer, but some papers that might be relevant are Completely and totally distributive categories I, mta.ca/~rrosebru/articles/ctd.pdf, and An adjoint characterization of the category of sets, mta.ca/~rrosebru/articles/accs.pdf | |
| Nov 15, 2018 at 12:30 | history | edited | goblin GONE | CC BY-SA 4.0 |
deleted 4 characters in body
|
| Nov 15, 2018 at 9:18 | history | asked | goblin GONE | CC BY-SA 4.0 |