@article{DBLP:journals/corr/abs-2001-02209,
  title = "Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing",
  author = "Mathieu Huot and Sam Staton and Matthijs V{\'{a}}k{\'{a}}r",
  year = "2020",
  journal = "CoRR",
  url = "http://arxiv.org/abs/2001.02209",
  volume = "abs/2001.02209",
}