A Topological Approach to Design Problems for Distributed Systems Using Category Theory: A Focus on Robotic Swarms. - Philipp Ahrendt; Mehdi Mcharek; Stéphane Dugowson; Moncef Hammadi (SysCon, 2025)