Category Fundamentals of ML