7 papers
Directed homological and cohomological operations
Eric Goubault
In this short note, we present a persistence module approach to directed cohomology, dual to the directed homology introduced by the author in a previous article. We lay out the fi…
Homological algebra over non-unital rings and algebras, with applications to -categories
Eric Goubault, Eliot Médioni
The article is developing homological algebra in modules over non-unital rings and algebras. The main application is the definition and study of (directed) homology of …
Distributed Knowledge in Simplicial Models
Ãric Goubault, Jérémy Ledent, Sergio Rajsbaum
The usual semantics of multi-agent epistemic logic is based on Kripke models, defined in terms of binary relations on a set of possible worlds. Recently, there has been a growing i…
Homological Algebra in Abelian Framed Bicategories: Exact Sequences and Embedding Theorems
Augustin Albert, Jérémy Dubut, Eric Goubault
We introduce abelian framed bicategories, which are particular framed bicategories that are locally abelian, and show that they are suitable for developing homology and cohomology…
Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
Giorgio Cignarale, Stephan Felber, Eric Goubault +2
In this paper, we provide a framework integrating distributed multi-robot systems and temporal epistemic logic. We show that continuous-discrete hybrid systems are compatible with…
A categorical and logical framework for iterated protocols
Eric Goubault, Bernardo Hummes Flores, Roman Kniazev +2
In this article, we show that the now classical protocol complex approach to distributed task solvability of Herlihy et al. can be understood in standard categorical terms. First,…