Conjecture 4 [03RH]
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
Conjecture 4
Let us define the notion of equivalent -categories with strict identity morphisms) similarly to the case of -pre-categories (see above). Then the equivalence classes of -pre-categories are in one-to-one correspondence with the equivalence classes of -categories with strict identity morphisms.