Wintersemester 2025/26

Wintersemester 2025/26

12.11.2025 um 15:00 Uhr in 69/127

Dr. Paula Verdugo (MPIM Bonn)

On the equivalence invariance of formal category theory

Equipments, a special kind of double categories, have shown to be a powerful environment to express formal category theory. We build a model structure on the category of double categories and double functors whose fibrant objects are the equipments, and combine this together with Makkai’s early approach to equivalence invariant statements in higher category theory via FOLDS (First Order Logic with Dependent Sorts) and Henry’s recent connection between model structures and formal languages, to show a result on the equivalence invariance of formal category theory.