Definition 13 [03RF]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Definition 13
Two -pre-categories and are called equivalent if there exists a finite sequence of -pre-categories such that for every there exists an -equivalence functor from to or vice versa.