Categories for Machine Learning