Text this: Coalgebraic Automata Theory: Basic Results