On the equivalence invariance of formal category theory
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866918135815208960 |
|---|---|
| author | Verdugo, Paula |
| author_facet | Verdugo, Paula |
| contents | We prove a result of equivalence invariance of formal category theory for statements that can be expressed within an equipment. To do this, we exploit Henry and Bardomiano Martínez's link between Makkai's FOLDS (first order logic with dependent sorts) and abstract homotopy theory. In the process, we construct a model structure on the category DblCat of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully faithful on squares, and whose fibrant objects are the equipments. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_04255 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the equivalence invariance of formal category theory Verdugo, Paula Category Theory Algebraic Topology We prove a result of equivalence invariance of formal category theory for statements that can be expressed within an equipment. To do this, we exploit Henry and Bardomiano Martínez's link between Makkai's FOLDS (first order logic with dependent sorts) and abstract homotopy theory. In the process, we construct a model structure on the category DblCat of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully faithful on squares, and whose fibrant objects are the equipments. |
| title | On the equivalence invariance of formal category theory |
| topic | Category Theory Algebraic Topology |
| url | https://arxiv.org/abs/2509.04255 |