@misc{indiciae60a08f85afef,
  title = {Categorical structures for type theory in univalent foundations},
  author = {Benedikt Ahrens and Peter LeFanu Lumsdaine and Vladimir Voevodsky},
  year = {2018},
  doi = {10.23638/lmcs-14(3:18)2018},
  url = {https://arxiv.org/abs/1705.04310},
  note = {Source identifier: 1705.04310}
}