Showing math.CTShow all
2 papers · 1 filter
math.CT2025
Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad
Sophie Libkind, David I. Spivak
Interviews run on people, programs run on operating systems, voting schemes run on voters, games run on players. Each of these is an example of the abstraction pattern runs on matt…
math.CT2024
Dynamic task delegation for hierarchical agents
Sophie Libkind, David I. Spivak
This is the fourth installment in a series of papers offering models of hierarchical structure for dynamical systems, using the language of polynomial functors. The operad underlyi…