Category theory in machine learning: rewriting models for time series