Biequivalences in tricategories

From MaRDI portal
Publication:2919769