Text this: Automata Minimization: a Functorial Approach