Rezk completion of bicategories
Date:
A workshop talk presented at the Workshop on Homotopy Type Theory/Univalent Foundations.
The extended abstract can be found [here]{https://hott-uf.github.io/2023/HoTTUF_2023_paper_5222.pdf}.
Date:
A workshop talk presented at the Workshop on Homotopy Type Theory/Univalent Foundations.
The extended abstract can be found [here]{https://hott-uf.github.io/2023/HoTTUF_2023_paper_5222.pdf}.