@misc{shulman-2019-all,
  author = {Michael Shulman},
  title = {All ( ∞ , 1 )-toposes have strict univalent universes},
  year = {2019},
  month = {4},
  eprint = {1904.07004},
  archiveprefix = {arXiv}
}