Timeline for When is the opposite of the category of algebras of a Lawvere theory extensive?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 18, 2022 at 20:57 | comment | added | Mendieta | Why does ${(T-Alg)_{fp}}$ have finite products in that case? | |
| Dec 28, 2021 at 13:16 | comment | added | Tim Campion | Upon reflection, I think these characterizations don't say much more than "$T-Alg$ is coextensive iff the full subcategory $(T-Alg)_{fp}$ of finitely-presentable objects is coextensive", which seems to beg the question a bit. But at least this is something in the literature. There are a few comments in the paper which give more information. For instance, $T$ is Morita equivalent to a single-sorted theory with at least one constant. | |
| Dec 28, 2021 at 13:10 | history | answered | Tim Campion | CC BY-SA 4.0 |