發送短信: Correctness of automatic differentiation via diffeologies and categorical gluing