@misc{indiciae21be1ea0112f,
  title = {Univalence in Higher Category Theory},
  author = {Nima Rasekh},
  year = {2021},
  url = {https://arxiv.org/abs/2103.12762},
  note = {Source identifier: 2103.12762}
}