Timeline for Combinatorial species and differential categories
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 2, 2019 at 22:10 | vote | accept | Valery Isaev | ||
| Oct 2, 2019 at 22:06 | answer | added | Valery Isaev | timeline score: 7 | |
| Sep 18, 2019 at 18:53 | comment | added | Valery Isaev | @PhilTosteson Yes, I mentioned it in the question. I don't see how it can be related to the structure of a differential category since it is an operation on objects, but the structure of a differential category consists of a function on $\mathrm{Hom}$-sets. Nevertheless, at some very informal level, the derivative of species looks similar to the derivative in other differential categories (just adding an element), but I don't know if there is something behind this intuition. | |
| Sep 18, 2019 at 18:34 | comment | added | Phil Tosteson | I don't know about cartesian differential categories, but you might be interested in a structure on species that nlab does not mention: the derivative. The derivative of a species $M$ is $(DM)_X = M_{X \sqcup *}$. On exponential generating functions this operation really is a derivative, it satisfies the Leibniz rule with respect to the Day product, and so on. | |
| Sep 18, 2019 at 16:52 | history | asked | Valery Isaev | CC BY-SA 4.0 |