$$
$$
Our recent paper, Distributed Multi-agent Coordination over Cellular Sheaves, showed how optimization problems defined over cellular sheaves, known as nonlinear homological programs, serve as a unified modeling abstraction for multi-agent coordination problems.
This is a companion discussion topic for the original entry at https://blog.algebraicjulia.org/post/2025/04/sheafcoordination/