@misc{gratzer-2022-strict,
  doi = {10.48550/ARXIV.2202.12012},
  url = {https://arxiv.org/abs/2202.12012},
  author = {Gratzer, Daniel and Shulman, Michael and Sterling, Jonathan},
  keywords = {Category Theory (math.CT), Logic in Computer Science (cs.LO), Logic (math.LO), FOS: Mathematics, FOS: Mathematics, FOS: Computer and information sciences, FOS: Computer and information sciences},
  title = {Strict universes for Grothendieck topoi},
  publisher = {arXiv},
  year = {2022},
  copyright = {Creative Commons Attribution 4.0 International}
}