机译:Bicategories in univalent foundations
Delft University of Technology, Delft, The Netherlands;
University of Groningen, Groningen, The Netherlands;
Dipartimento di Matematica e Informatica "Dini," Università degli Studi di Firenze, Florence, ItalyDepartment of Software Science, Tallinn University of Technology, Tallinn, EstoniaSchool of Computer Science, University of Birmingham, Birmingham, UK;
Bicategory theory; univalent mathematics; dependent type theory; Coq;