Title: Categorical Foundations of Machine Learning from Semantics to Verification