Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2508.20555 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Sommario:
- Many types of categorical structure obey the following principle: the natural notion of equivalence is generated, as an equivalence relation, by identifying $A$ with $B$ when there exists a strictly structure-preserving map $A \to B$ that is genuinely (not just essentially) surjective in each dimension and faithful in the top dimension. We prove this principle for four types of structure: categories, monoidal categories, bicategories and double categories. The last of these theorems suggests that the right notion of equivalence between double categories is Campbell's gregarious double equivalence, a conclusion also reached for different reasons in recent work of Moser, Sarazola and Verdugo.