2-adjoint equivalences in homotopy type theory
Categories
Logic
Category Theory
03B38 Type theory (Primary), 18N10 2-categories, bicategories,
double categories (Secondary)