Category Theory And Machine Learning Definition