Generalized Span Categories In Classical Mechanics And The Functoriality Of The Legendre Transformation