2 papers
cs.RO2025
Automating Transfer of Robot Task Plans using Functorial Data Migrations
Angeline Aguinaldo, Evan Patterson, William Regli
This paper introduces a novel approach to ontology-based robot plan transfer by leveraging functorial data migrations, a structured mapping method derived from category theory. Fun…
cs.LO2024
GATlab: Modeling and Programming with Generalized Algebraic Theories
Owen Lynch, Kris Brown, James Fairbanks +1
Categories and categorical structures are increasingly recognized as useful abstractions for modeling in science and engineering. To uniformly implement category-theoretic mathemat…