@misc{indiciae63a32282fb3f,
  title = {Univalent categories and the Rezk completion},
  author = {Benedikt Ahrens and Chris Kapulkin and Michael Shulman},
  year = {2014},
  doi = {10.1017/s0960129514000486},
  url = {https://arxiv.org/abs/1303.0584},
  note = {Source identifier: 1303.0584}
}