172 citations · 796 across the 66 of their papers we have counts for
4 papers · 2 filters
Poly: An abundant categorical setting for mode-dependent dynamics
David I. Spivak
Dynamical systems---by which we mean machines that take time-varying input, change their state, and produce output---can be wired together to form more complex systems. Previous wo…
Dirichlet Functors are Contravariant Polynomial Functors
David Jaz Myers, David I. Spivak
Polynomial functors are sums of covariant representable functors from the category of sets to itself. They have a robust theory with many applications -- from operads and opetopes…
Dirichlet Polynomials form a Topos
David I. Spivak, David Jaz Myers
One can think of power series or polynomials in one variable, such as , as functors from the category of sets to itself; these are known as polynomial…
A Categorical Semantics for Guarded Petri Nets
Fabrizio Genovese, David I. Spivak
We build on the correspondence between Petri nets and free symmetric strict monoidal categories already investigated in the literature, and present a categorical semantics for Petr…