@inproceedings{wullaert-2026-the,
  doi = {10.4230/LIPICS.TYPES.2025.8},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2025.8},
  author = {Wullaert, Kobe and van der Weide, Niels},
  keywords = {univalent foundations, univalent categories, Rezk completions, UniMath, formalization, elementary topoi, Theory of computation → Type theory, Theory of computation → Logic and verification},
  language = {en},
  title = {The Rezk Completion for Elementary Topoi},
  volume = {384},
  pages = {8:1-8:23},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2026},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {31st International Conference on Types for Proofs and Programs (TYPES 2025)}
}