Categories of ML