Timeline for when is an integer sequence the trace of a monad on FinSet?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 5, 2022 at 16:49 | comment | added | Oscar Cunningham | The inequality could be phrased as $(D^na)_0\geq 0$, where $D$ is the difference operator. | |
| Nov 18, 2019 at 18:28 | comment | added | Gerhard Paseman | This looks related to free spectra (b_n is the number of elements of the free algebra generated by n elements in a locally finite variety in universal algebra). If so, there is a lot of work classifying such sequences and saying what properties the theory (or models of the theory) must have. Gerhard "Interested In Some Spectrum Problems" Paseman, 2019.11.18. | |
| Nov 18, 2019 at 17:42 | history | edited | Valery Isaev | CC BY-SA 4.0 |
added 60 characters in body
|
| Nov 18, 2019 at 17:04 | history | edited | Valery Isaev | CC BY-SA 4.0 |
added 3 characters in body
|
| Nov 18, 2019 at 16:40 | history | answered | Valery Isaev | CC BY-SA 4.0 |