Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2509.04255 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |