4 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…
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…