What is an equivalence in a higher category?
arXiv:2303.00567
Abstract
The purpose of this survey is to present in a uniform way the notion of equivalence between strict -categories or -categories, and inside a strict -category or -category.
Comments welcome!