Skip to content
Version presented at the 2025 Dagstuhl seminar on category theory for automata theory.