Zanasi, Categorical Foundations of Machine Learning from Semantics to Verification

New channel Progetto ItaCa: title sample judged 'whole' (Nearly every upload is a genuine research-level category theory lecture, seminar talk, or full course lesson with no pro); passed a second screen for sellers/exam-prep/re-uploads; 2 of 3 sampled transcripts showed teaching, 0 not; every title checked strictly; oEmbed verified.