Timeline for When is the opposite of the category of algebras of a Lawvere theory extensive?
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 18, 2022 at 19:47 | comment | added | Mendieta | Apart from the the answer by Carboni, Pedicchio, and Rosicky cited by TimCampion and that by Broodryk summarized by Zhen-Lin there is also one by Zuluaga Botero in link.springer.com/article/10.1007%2Fs00012-021-00745-2 | |
| Dec 29, 2021 at 8:56 | comment | added | მამუკა ჯიბლაძე | My old question mathoverflow.net/q/159756/41291 might be related. There I asked about theories generated by their initial algebras. Since by Birkhoff "generated" means "HSP" in this case, dually this means categories where each object is obtainable by gluing together a bunch of subterminals, so they must "resemble" local homeomorphisms over a base (which are appropriate glueings of disjoint unions of bunches of open sets of that base space). | |
| Dec 29, 2021 at 1:59 | answer | added | Zhen Lin | timeline score: 22 | |
| Dec 28, 2021 at 16:56 | answer | added | John Baez | timeline score: 16 | |
| Dec 28, 2021 at 16:01 | answer | added | Simon Henry | timeline score: 10 | |
| Dec 28, 2021 at 13:27 | history | became hot network question | |||
| Dec 28, 2021 at 13:10 | answer | added | Tim Campion | timeline score: 10 | |
| Dec 28, 2021 at 11:47 | comment | added | Paul Taylor | Excellent question. I added the (apparently new) "Stone Duality" tag because I believe these things are related. My hunch is that the commutative rig is necessary. | |
| Dec 28, 2021 at 11:44 | history | edited | Paul Taylor |
edited tags
|
|
| Dec 28, 2021 at 2:58 | history | edited | John Baez | CC BY-SA 4.0 |
added more examples
|
| Dec 28, 2021 at 2:17 | history | edited | LSpice | CC BY-SA 4.0 |
Typo
|
| Dec 28, 2021 at 2:16 | comment | added | Tim Campion | I'm not sure in general, but the category of commutative monoids in any semiadditive, idempotent-complete symmetric monoidal category is another general class of examples (of a co-extensive category). | |
| Dec 28, 2021 at 2:12 | history | asked | John Baez | CC BY-SA 4.0 |