6 papers
The Sheaf Laplacian: A Topological Framework for Data Fusion and Consensus in Distributed Sensing Networks
Manuel Hernández, Eduardo Sánchez-Soto
We argue here that traditional network models, which are overwhelmingly based on the mathematical construct of a simple graph, are fundamentally insufficient for capturing the comp…
A Categorial and Sheaf-Theoretic Semantics for Autonomic Component Ensembles
Manuel Hernández, Eduardo Sánchez-Soto
The proliferation of large-scale, decentralized systems of autonomous agents, such as swarms of robots and networked cyber-physical systems, presents a formidable challenge to trad…
A Topos-Theoretic Interpretation of Blockchain Systems: Sheaves of Consensus and the Logic of Decentralized Truth
Manuel Hernández, Eduardo Sánchez-Soto
The predominant formal models for blockchain systems, particularly smart contracts, have largely been drawn from the classical theory of computation, with the finite state machine…
A Sheaf Framework for Strategic Multi-Agent Systems: From Consensus to Nash Equilibria
Manuel Hernández, Eduardo Sánchez-Soto
The coordination of heterogeneous autonomous agents in dynamic, adversarial environments requires simultaneous satisfaction of geometric constraints, logical consistency, temporal…
The Cartan-Topos Protocol: A Unified Geometric and Categorical Framework for Resilient Multi-Agent Coordination
Manuel Hernández, Eduardo Sánchez-Soto
Multi-agent coordination faces a fundamental divide between continuous Euclidean consensus, which fails under non-integrable constraints, and discrete symbolic logic, which collaps…
Sheaf-Theoretic Planning: A Categorical Foundation for Resilient Multi-Agent Autonomous Systems
Manuel Hernández, Eduardo Sánchez-Soto
The challenge of engineering autonomous agents capable of navigating the stochastic and adversarial nature of the physical world has historically resided at the intersection of sym…