The_Categorical_origin_of_Non_deterministic_Automata-4.pdf