@misc{indiciae011d278dcc23,
  title = {Homotopies for Free!},
  author = {Taichi Uemura},
  year = {2017},
  url = {https://arxiv.org/abs/1701.07937},
  note = {Source identifier: 1701.07937}
}