gratzer-2022-strict:
  type: misc
  title: Strict universes for Grothendieck topoi
  author:
  - Gratzer, Daniel
  - Shulman, Michael
  - Sterling, Jonathan
  date: 2022
  publisher: arXiv
  url: https://arxiv.org/abs/2202.12012
  serial-number:
    doi: 10.48550/ARXIV.2202.12012