TY - RPRT TI - Category Theory for Autonomous Robots: The Marathon 2 Use Case AU - Esther Aguado AU - Virgilio Gómez AU - Miguel Hernando AU - Claudio Rossi AU - Ricardo Sanz PY - 2023 UR - https://arxiv.org/abs/2303.01152 ID - 2303.01152 ER -