@misc{indiciaec713d17e04d7,
  title = {A type theory for synthetic \$\textbackslash{}infty\$-categories},
  author = {Emily Riehl and Michael Shulman},
  year = {2023},
  url = {https://arxiv.org/abs/1705.07442},
  note = {Source identifier: 1705.07442}
}