1. Benedikt Ahrens Dan Frumin Marco Maggesi Niccoló Veltri and Niels van der Weide. 2020. Bicategories in Univalent Foundations. arXiv preprint arXiv:1903.01152v3v2 (2020). https://arxiv.org/abs/1903.01152v2 Benedikt Ahrens Dan Frumin Marco Maggesi Niccoló Veltri and Niels van der Weide. 2020. Bicategories in Univalent Foundations. arXiv preprint arXiv:1903.01152v3v2 (2020). https://arxiv.org/abs/1903.01152v2
2. Univalent categories and the Rezk completion
3. Benedikt Ahrens and Peter LeFanu Lumsdaine. 2019. Displayed Categories. Logical Methods in Computer Science 15 1 (2019). https://doi.org/10.23638/LMCS-15(1:20)2019 Benedikt Ahrens and Peter LeFanu Lumsdaine. 2019. Displayed Categories. Logical Methods in Computer Science 15 1 (2019). https://doi.org/10.23638/LMCS-15(1:20)2019