Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2510.02607 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- We attach to each weak model category $\mathcal{M}$ a class of first order formulas about the fibrant objects of $\mathcal{M}$ whose validity is invariant under homotopies and weak equivalences. This is a generalization of the classical Blanc-Freyd Language of categories -- which involves formula avoiding equality on objects and which are invariant under isomorphism and equivalences of categories. In particular, we obtain similar homotopy invariant languages for $2$-categories, bicategories, chain complexes, Kan complexes, quasi-categories, Segal spaces, and so on...