Category talk:Theorems in dynamical systems