The Gauss-Markov Adjunction: Categorical Semantics of Residuals in Supervised Learning