Fetching the paper…

Biequivalences in tricategories · Around