@misc{indiciaed8a9518a1cb5,
  title = {Insights From Univalent Foundations: A Case Study Using Double Categories},
  author = {Nima Rasekh and Niels van der Weide and Benedikt Ahrens and Paige Randall North},
  year = {2024},
  url = {https://arxiv.org/abs/2402.05265},
  note = {Source identifier: 2402.05265}
}